OCL: more demonstrative message about test fails