Analyzer: Got the analyzer all working, and fixed some bugs so that termination events present correctly.
Merge branch 'master' of github.com:paploo/orbital