need some way of considering a verb successful to properly evaluate the postcondition.

[facundoolano]

example: if something needs to be unlocked, how to be sure if it has been tried with the proper key object and not another.

I've commonly seen a bug in opening stuff with any key