Add more example ChocoMinty code