We now have a modified simulator for the models from the DSL