dclareForMPS
dclareForMPS copied to clipboard
Differentiate MPS from Dclare checks with auto checking