atermFromFile :: FilePath -> IO ATerm
atermFromFile fp =
    do str <- readFile fp
       return (getATermFull (readATerm str))
atermFromFile :: FilePath -> IO ATerm
atermFromFile fp =
    do str <- readFile fp
       return (getATermFull (readATerm str))
atermFromFile fp =
    do str <- readFile fp
       return (getATermFull (readATerm str))