Examples on understanding how to use the Contract Reckoner