refactoring main.ml
refactoring main.ml
modified join, meet, widen, meet to share memory
Merge branch 'master' of github.com:skcho/zooberry