add heap properties checking