Constraint Generator First cut