inject after effect ( + a lot of debugging output )
Merge branch 'externalInfo' into externalInfo_injectAfterEffect
multiple function calls in one location test
new regression test
no assertion-injection for certain edges
less debug output
Merge branch 'externalInfo' into externalInfo_injectAfterEffect
minor change debugging level
introduction of function-entry invariants
Merge branch 'externalInfo_injectAfterEffect' into externalInfo