loosened the const requirement for successor pointers
added critical point erasure
feature: Hasse diagram simplification