Function expected_basis_with 

pub fn expected_basis_with(
    a: &Assertion,
    f: &Flow,
    state: &State,
    inputs: &InputManifest,
    ledger: &Ledger<'_>,
) -> String

The token with the run-wide facts already in hand; what every caller with more than one flow to judge should use.