def _make_section_map(aut):
    """Return `dict` of `Automaton` attributes."""
    sections = dict(env_init=aut.init['env'], env_action=aut.action['env'],
        sys_init=aut.init['sys'], sys_action=aut.action['sys'])
    sections['<>[]'] = aut.win['<>[]']
    sections['[]<>'] = aut.win['[]<>']
    return sections
