Implement genHeap
Add property gen1
Remove redundant parentheses
Add property insDelMin
Add property meldMin
Add property insTwoElemInEmpty