  let e2 = removeAnnotations (textToCheckedExpr e1)
  let e3 = toCoDBExpr e2
  let e4 = fromCoDB e3

  let errorMessage = layoutAsString $
        "Expected:" <+> line <> indent 2 (
          squotes (prettyVerbose e2)  <> line <>
          squotes (prettyVerbose e4)) <> line <>
        "to be equal" <>