lub

open override fun lub(other: LatticeElement<Reachability>): ReachabilityLattice