[polyml] Re: Heap does not grow up to --maxheap