Now it checks that the code is correctly compiled rather than only checking that it does not crash the compiler.