added the possibility to declare a step as global in a mutable specification