Correct verification for if block