add simulation guided by inputs sequence, rm random simulation for MealyMachine
docstring style