duplicate

open override fun duplicate(): ReachabilityLattice