include("load_cheaplogic.jl")

include("testprimitives.jl")
include("testutils.jl")
include("testsubst.jl")
include("testunifybase.jl")
include("testunify.jl")
include("testmerge.jl")
include("testreso.jl")
include("testnewcore.jl")
include("testdvcreso.jl")
include("testparser.jl")
#include("testprover.jl")

