[ Issue 1288 ] Fixed by rejecting {-# NO_TERMINATION_CHECK #-}.
[ Issue 1288 ] CHANGELOG
[ Issue 1288 ] Replaced pragma NO_TERMINATION_CHECK in testsuite.