Language.Fixpoint.Files
data Ext
extFileName
extFileNameR
tempDirectory
extModuleName
withExt
isExtFile
getFixpointPath
getZ3LibPath
getFileInDirs
copyFiles