Adds NullCheckInstruction