SMG: remove HVE filtering by object, offset, bitsize
Replace filtering by triple with new SMGHasValueEdgeSet#getEdge.
Instead of filtering has-value edges by object, offset, bitsize, introduce #getEdge(object, offset, bitsize). Introduce shorthand SMG#getHVEdgeOfPtrBitsizeAt to encapsulate most calls to #getEdge.
Remove the following from SMGEdgeHasValueFilter:
- method #filterBySize(long bitsize);
- method #filterWithoutSize();
- fields sizeInBits and sizeNotRequired. These are no longer needed, as there is no more filtering by size.
Add a unit test to check the behavior has not changed.
Edited by Петров Олег Максимович