Included check for heap property