minor renamings
profile case distinctions (issue #101)
support if-then-else (issue #104)
Merge branch 'master' into local-termination
add alternative LPO encoding
fix compatibility with transformers-0.4.0.0
Merge branch 'master' into local-termination