Experimental tool to ease the review of smart contracts upgrades - View it on GitHub