optimization: no need to make stack of results for contracts
extract/refactor leaking parameters analysis