Update the PRISM generation, handle all transitions