verif_instruct begin