Do we really need this test as the opposite test has failed in line 222 (as we reached this instruction) ?