Preparing to add better handling of recursive rules in Backward Prover.