Constraint works beside very nasty cases