TEST: Account for special initial state in MealyMachines, "Sinit"