inst_return
if (inst_branch(inst) || inst_call(inst) || inst_return(inst)) {
inst_return(cur_instr)) {
(!inst_return(ins) || --db_call_depth != 0)) {
if (inst_call(ins) || inst_return(ins)) {
!inst_return(ins) &&