removing predAbsOrig.ml
aargh.
appear to have expunged the gross out.smt2