fixed disprover dependency
removed theory support (until theory plugin release)