Fix error message for NonTermination.  Fixes #1156
Fix error message for NonTermination.  Fixes #1156

alphalambda/codeworld,alphalambda/codeworld,google/codeworld,google/codeworld,google/codeworld,alphalambda/codeworld