heaphopper: bounded model checking framework for Heap-implementations