let fail_msg0 = "unexported clearbody: invalid argument"
let fail_msg2 = "fwd: no applicable simplification"
-let error msg = raise (PET.Fail msg)
+let error msg = raise (PET.Fail (lazy msg))
(* unexported tactics *******************************************************)