Heap Foldable law test