a test case for simple scope inference