add proceed to inlined instructions in tail position
@@ -494,6 +494,7 @@ fn compile_cleanup(code: &mut Code, conjunct_info: &ConjunctInfo, toc: &'a Query
// add a proceed to bookend any trailing cuts.
match toc {
&QueryTerm::BlockedCut | &QueryTerm::UnblockedCut(..) => code.push(proceed!()),
+ &QueryTerm::Clause(_, ClauseType::Inlined(..), _) => code.push(proceed!()),
_ => {}
};
