[ Issue 1288 ] Fixed by rejecting {-# NO_TERMINATION_CHECK #-}.
[ Issue 1288 ] CHANGELOG
[ Issue 1288 ] Replaced pragma NO_TERMINATION_CHECK in testsuite.
Merge branch 'maint-2.4.2'
[ Issue 1288 ] Removed NO_TERMINATION_CHECK in examples.
Merge branch 'maint-2.4.2'