GARANT COMMANDS: criteria comment on - turn on the comment for the specified criterion

USAGE: criteria comment on <crit>

Activate the comment of the criterion with name <crit> such that it is listed when the 
'report fragment' or 'report coherence' commands are used.

SEE ALSO: report fragments, report coherences, criteria ..., 
          criteria comment off
