GARANT COMMANDS: criteria comment off - turn off the comment for the specified criterion USAGE: criteria comment off Deactivate the comment of the criterion with name . SEE ALSO: report fragments, report coherences, criteria ..., criteria comment on