Explain the popsicle example

[montyly]

https://github.com/crytic/building-secure-contracts/blob/master/program-analysis/echidna/example/PopsicleBroken.sol

[JP2308]

Happy to assist with this if it needs further work!!