add option ana.arinc.dot (saves result/arinc.dot if enabled), add verbose option for update_suite.rb
arinc: add epsilon transitions between nodes during join
arinc: keep callstack per action instead of per node
keep set of predecessor nodes and write out edges coming from each node
Merge branch 'master' into externalInfo
Merge branch 'externalInfo' into externalInfo_injectAfterEffect