Support for no timeout, fixed bug, refactored interfaces, added execution of non compiled automata