Function: proofLevelLabel()
proofLevelLabel(
level):string
One line per level, printed in every harness failure. A red test has to say what the passing case would have proven, or the level discipline is only a naming convention.
Parameters
level
Returns
string