update Update case of zBC_HEAP_THM