tests for new termination criterion