Add tests about required constraint and inhertings in
singualarConstraint