Strengthen params to active_insn_between