Remove SMGHasValueEdgeFilter'ing by object, offset, without size

Replace filtering HVEs by object&offset with new #getEdge

Instead of filtering has-value edges by object and offset, introduce SMGHasValueEdgeSet#getEdge(object, offset). Add test for this case.

Remove SMGEdgeHasValueFilter#filterAtOffset(ofs), as there is no more filtering by offset.