updated tests, tools, arbitrary and meta prover
bugfixes in logtk