Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests