The granted operator step that produced a derived value.
The accepted operator expression that produced the value.
Variable IDs whose values the step consumed. One immediate step is recorded per value; walk these transitively to reconstruct a chain.
The premise that operator lives in.
The granted operator step that produced a derived value.