Update the model to generate PRISM code