Update: Ability to raise an error

A post was split to a new topic: Are preconditions and postconditions available for modules?