Note BIG problem with recursive promise functions: the postcondition does a recursive call, so it is a Promise function too!
Note BIG problem with recursive promise functions: the postcondition does a recursive call, so it is a Promise function too!

This results in UnhandledPromiseRejectionWarnings

Toryt/contracts,Toryt/contracts,Toryt/contracts