Fixed some bugs and added some initial split code.
Merge branch 'master' of github.com:erikku/smt4tool
Minor tweak to the walkthrogh.