Testing Constraints in ASE