compacting abstraction tree