Cons2 cheat removed in zBC_HEAP_THM