Compile freeform relations into premise formulas, and mint the conclusion premise. Pure helper exposed for direct testing. The stage's derivationBacking is added by the stage wrapper, not here.
derivationBacking
Compile freeform relations into premise formulas, and mint the conclusion premise. Pure helper exposed for direct testing. The stage's
derivationBackingis added by the stage wrapper, not here.