compareTo

open operator override fun compareTo(other: LatticeElement<Reachability>): Int