Uniswapv2librarygetreserves summary

[mariaKt]

This PR adds summaries for the body of the function Uniswapv2librarygetreserves.

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

Line 275 in 4fb604f

function uniswapV2LibraryGetReserves(address tokenA, address tokenB) private returns (uint[] memory reserves) {

We stop before the call to getReserves, as it is through an unknown address.

These summaries save 972 steps (22667 -> 21695).

[Robertorosmaninho]

LGTM. I would just annotate the type of Ss for the sake of documentation!

[mariaKt]

@Robertorosmaninho sure. Can you clarify where it is you want me to anotate? It is matched only when it is Statements in the <contract-fn-body> cell.

[Robertorosmaninho]

@Robertorosmaninho sure. Can you clarify where it is you want me to anotate? It is matched only when it is Statements in the <contract-fn-body> cell.

Yes, my idea was to have Ss:Statements in the k cell too. But it's fine as it is as well!!

[mariaKt]

Alright. Since this is OK with you, I will leave it as is, because I prefer annotations in the LHS myself.