Comments in simulation file

Commented symbolic_finite_aut_sim.cc
Symbolic simulation seems to work as well
Implementation requires optimalization