new test case for abstr. interp bug.