split out cloog_translate_constraint, needed later for domain_difference