Summarized rules for fidSwap

[mariaKt]

This PR adds rules to summarize different parts of the function fidSwap.

solidity-demo-semantics/test/examples/swaps/UniswapV2SwapRenamed.sol

Line 228 in b1c267e

function fidSwap(uint[] memory amounts, address[] memory path, address vidTo) private {

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.

[Robertorosmaninho]

Looks good to me. I tested it using --statistics with and without the summary and the results are:

• Without: 28765
• With: 27191
• Diff: 1.574