ModelCHECK: Optional Parameters
I have a ModelCHECK use case where some parameters may or may not exist. I have discovered that if I only list the name of the parameter, then ModelCHECK will not report the parameter as "extra". But if I add extra requirements to the parameter in the .mcs file then ModelCHECK considers the parameter as "required." I would prefer to continue to check for "extra parameters" as defined in the conditions file.
Can I define the con which is. "If the parameter exists then it must be a string"
In this case "the parameter may exist"
PRT_PARAMETER NOTE
In this case "the parameter is required and must be a string"
PRT_PARAMETER NOTE STR

