empty else branches removed, slist added