fixed a number of further tests, better handling of aborted reasoning processes
fixed versioning tests