Make the verifier reject instructions which have null pointers