Substitution for InstBranch (incomplete)