simplification of specs tree by using Hanser's algorithm