if (VM.VerifyAssertions) VM.assert(Label.conforms(targ));
if (VM.VerifyAssertions) VM._assert(Label.conforms(targ));
  OPT_BranchOperand(OPT_Instruction targ) {    if (VM.VerifyAssertions) VM.assert(Label.conforms(targ));    target = targ;  }