Missed two statics
Added Heap verification