Initial commit of my LogicBlox analyzer.
Need to add support for special method invocations.