FTL should lower its abstract heaps to B3 heap ranges