Added CLOSE_SHORTEST_LEX_MIN_ONCE as closing strategy
Added some methods which are used only by the closing strategy
CLOSE_SHORTEST_LEX_MIN_ONCE
Removed some non needed (testing) code