Started implementatin of OK-logic in symbolic execution.
Also some work on abduction flag...
Added tests consisting of the two parts of test04, to see individual results.