Current flags — Demo: San Diego Labeled Conflict Set
iEvery clause is only ever reasoned about once per check
type - a flag found under an earlier revision stays current here until the clause it's
about is itself superseded by a later revision, not until the whole project is
re-checked.