warn for missing and duplicate pre/post/(quant)
fewer debug output - and also assert -> reportError
error reporting for specifications