Add code for leafSetPlus and leafSetMinus