Parameters are being generated. Extra functionalities implemented in
ac.soton.eventb.statemachinesJ.generator.utils.