[IA] ConstraintExt done