-
Alexandre Duret-Lutz authored
in comment. Skip false transitions, and do not compute sub-formulae reachable only via false transitions.
af27439d
in comment. Skip false transitions, and do not compute sub-formulae reachable only via false transitions.