Every expression id and claim id in one premise of a snapshot. Claims are those of the premise's claim-bound variable expressions; bindings to other premises are not followed.
When the snapshot has no such premise.
Every expression id and claim id in one premise of a snapshot. Claims are those of the premise's claim-bound variable expressions; bindings to other premises are not followed.