Refactoring of a simple smart contract for Leah - View it on GitHub