[ Issue 1288 ] Removed NO_TERMINATION_CHECK in examples.