branch off arinc analysis for function inlining instead of callstrings
export functions inlined. TODO context
only extract calls that contain interesting edges
promela: output inline functions before processes
use context hash for differentiating between function calls
extraction works. spin -a takes ~20min