906907908909910911912913914
+ ")", e); } simulationInfo(simulator, result); if (result != null && result.result == 3) { throw new UserStoppedSimulation(simulator); } return afterStep(simulator, result); }