The ONE simulator with reply message (for reactive models)