Correção: somente adiciona estado à option se não for terminal

[Ref. alteração o_e]

Isso foi feito para evitar que uma option chamasse a si mesma.

Exemplo:

Aprende-se a option que realiza (para algum evento saliente):

ON -> OFF

No momento da primeira transição (aprendizado da option para esse evento
saliente), temos:

- OFF é o estado terminal para a option
- ON é incluído ao I

Suponha que, após alguns passos, ocorra a transição

OFF -> ON

Nesse caso, ON pertence a I, logo, OFF seria também adicionado a I.

Mas isso causaria um loop, onde a option chamaria a si mesma para ligar
e desligar o evento saliente.