fixed urmlInterpreter constructor