inclFunc parametrized
fixed bug: searching for symbols in bigger automaton that does not exist
add simulation