gesamt: bei leeren expression, baum bis zum ersten O_CALL durchwandern