Collects every distinct claim referenced by any variable in any premise
of the argument.
Ordering: supporting premises (in listSupportingPremises() order), then
the conclusion premise, then remaining premises (constraints). Within a
premise, claims appear in the order their first-referencing variable
appears in the expression tree (pre-order DFS). A claim shared across
premises is emitted once at its first occurrence.
Variables without a bound claim (e.g. premise-bound variables) are
skipped silently — not an error.
Collects every distinct claim referenced by any variable in any premise of the argument.
Ordering: supporting premises (in
listSupportingPremises()order), then the conclusion premise, then remaining premises (constraints). Within a premise, claims appear in the order their first-referencing variable appears in the expression tree (pre-order DFS). A claim shared across premises is emitted once at its first occurrence.Variables without a bound claim (e.g. premise-bound variables) are skipped silently — not an error.