Better dominance set data structures

[BatyLeo]

Idea:

• use MutableLinkedList from DataStructures for faster insertion and removing of dominated labels
• both checking of dominated, inserting, and removing non dominated steps can be done in one single pass
• insertion while looping need to be custom implemented in this case