Move ICPSConstraints
Separate CPS specific generator implementation