Source code checked in, #6f7f8d370e64

- backtranslation for datalog engine complete. WARNING - it may be subject to future improvements on Z3 API which may break the engine - it does not play well with empty strings as values. see turing_machine example