how to run sim explicitly
little refactoring
make it to pass also when bullshits in automata found