setPrePost :: Name -> IO ()
setPrePost fun =
  do pre  <- getProp preFile
     post <- getProp postFile
     let sharedSto = localSharedStorage
     siteState <- newSiteState (disableWrite localStorage)
                               (disableRead sharedSto)
     let simp = simplifyE []
     x <- saveAxiomaticFunSolution siteState (funName fun)
                                             (simp pre) (simp post)
     print x
  where
  preFile  = primsDir </> Text.unpack fun </> "pre"
  postFile = primsDir </> Text.unpack fun </> "post"
setPrePost :: Name -> IO ()
setPrePost fun =
  do pre  <- getProp preFile
     post <- getProp postFile
     let sharedSto = localSharedStorage
     siteState <- newSiteState (disableWrite localStorage)
                               (disableRead sharedSto)
     let simp = simplifyE []
     x <- saveAxiomaticFunSolution siteState (funName fun)
                                             (simp pre) (simp post)
     print x
  where
  preFile  = primsDir </> Text.unpack fun </> "pre"
  postFile = primsDir </> Text.unpack fun </> "post"
setPrePost fun =
  do pre  <- getProp preFile
     post <- getProp postFile
     let sharedSto = localSharedStorage
     siteState <- newSiteState (disableWrite localStorage)
                               (disableRead sharedSto)
     let simp = simplifyE []
     x <- saveAxiomaticFunSolution siteState (funName fun)
                                             (simp pre) (simp post)
     print x
  where
  preFile  = primsDir </> Text.unpack fun </> "pre"
  postFile = primsDir </> Text.unpack fun </> "post"