add is_semi_heap, correction insert
correction insert
add is_semi_heap predicate