Adjust this test to pass after recent CFE changes. We now generate: