Introduce SMGEdgeHasValue#getEndOffset()

Introduce SMGEdgeHasValue#getEndOffset()

It is offset + bitsize.

Replace #getOffset() + #getSizeInBits() by the new method, including cases when offset and size are called on different lines.