Coding to enable borrow heuristics from the forward rule for recursive rules