In scala what is precondition?
a constraint on where a method may be called from
a constraint on values passed to a methode constructor
a class of predifined error messages
a class of Boolean operators