Every node reachable from one of from, the seeds included: happensBefore(cfg, from_i, to) is not Ternary#Never for some seed exactly when to is in here.
from
happensBefore(cfg, from_i, to)
to
Every node reachable from one of
from, the seeds included:happensBefore(cfg, from_i, to)is not Ternary#Never for some seed exactly whentois in here.