Added two missing constraints for Constr (mkActionMDecl)