[jmiserez]

For precondition checking, shouldn’t that suffice?

[baq]

Depends on the precondition.