Add a testcase to infinity problem