Summarized rules for fidSwap

[mariaKt]

This PR adds rules to summarize different parts of the function fidSwap. https://github.com/Pi-Squared-Inc/solidity-demo-semantics/blob/b1c267efb4298bacb4be09dd1715441b489d22ed/test/examples/swaps/UniswapV2SwapRenamed.sol#L228

We attempt to summarize as much as possible, aiming to go from summary to summary. This is achieved, with only two exceptions:

• the if statement that the while is rewritten to (that uses the normal if rule, not included in a summary)
• the block statement of that if statement's then and else clauses, which is extracted using the normal block rule.