TuringMachine simulate(TMProgram) made