Rework Subsumption algorithms and add version of fixNodes without redundant parameters