Added generation of guards from transition guards