Removed the "check correctness" pass