simple test case for verify
we now depend on merlin.  will figure out how to do this properly before merging back into the main tree
Merge branch 'master' of github.com:/frenetic-lang/frenetic
added Basus graph, still have not hooked it up though
create graph function hooked in, code compiles
things compile, but fail to work.  debugging time
graph hooked in and milestone one achieved
i must admit to being entirely unaware of what is modified in this file.
Merge branch 'master' of github.com:/frenetic-lang/frenetic
a bunch of convenience functions for building tests are now split off into a new file
our test framework appears to work.  it has found a bug.
Merge ../frenetic-main
switched to merged-in graph + util
reset the list of identifiers between runs of z3
Merge branch 'master' of github.com:/frenetic-lang/frenetic
on to something here, but not quite there yet
figured out error. hacked temporary solution
solution 2
comment out debugging printlines
merge, updated tests for post-merge world