refactored the crap out of the code - probably doesn't work
got the code to compile!
generating random queries, but they are incorrect
generating a simple counterexample!
Merge branch 'go-refactoring_skeleton'