use translation visitor instead of deprecated predicate visitor
major rework of disprover:
- stop loading the machine/context
- create new machine from sequents type environment
- load to provide sets to ProB