fix error in example
Merge branch 'liveness' of github.com:ckaestne/TypeChef into liveness
fixing bug in successor relation with dangling switch code
add new version of dangling switch-code analysis
add new test cases for dead store and cfg in non-void function
bug fix