A problem with post conditions in deny mode

[friedger]

There is a proposal to improve that in Stacks 2.1: https://github.com/blockstack/stacks-blockchain/issues/2557