Correcciones de impresiones de errors en OJMLC

Imprimia postconditionfailed cuando no correspondia. Y lo hacía a la par
de un timeout method o un nullpointer method.