Add conversion from constraint to PPL::Constraint_System.