I don't think we should check these results. Any change in the code generator would break this test. And we already have proper unit tests to ensure the statements are semantically correct (by verifying the results).