Heap simplification: update is never required in FMT