inst_branch
(inst_branch(ins) || inst_call(ins) || inst_return(ins)))
if (inst_branch(ins) || inst_call(ins)) {
if (inst_branch(inst) || inst_call(inst) || inst_return(inst)) {