test case for (non)termination of abstract evaluation