Replaced LEGUP_Gui.setBoard with the less general (and less error-prone) pushBoard and popBoard.
Prevented duplicate pushes of the CaseRuleSelectionHelper, fixing the associated bugs (the location of the cursor after the nodes are added is still odd though).