MethodSummary with Pairs of ReturnValues and FieldEdges

[bestehle]

So far a MethodSummary is the union of all StatesIn and consists of:

• 1 Slot with all possible ReturnValues of all States
• 1 FieldEdges with all unified FieldEdges of all States

To retain the link of corresponding ReturnValues and FieldEdges of a State, the MethodSummary could be changed to a Set of Pairs of Slot and FieldEdges:

• 1 Set<Pair<Slot,FieldEdges>>

Thus there would be no information lost, but MethodInvocation would lead to multiple new States.