make ocamlprof (somehow run doesn't generate dump-file for goblint but small example works)
arinc: assume return code NO_ERROR for all functions
arinc: option ana.arinc.assume_success for setting the return code to NO_ERROR
if disabled, everything the return code may point to will get invalidated
extracted arincDomain and arincUtil from arinc
first try at standalone promela output via Marshal
mainarinc.ml: frontend for generating graphviz and promela files from saved analysis results
promela linearization: just write out all edges with jumps instead of calculating post-dominators etc. (too expensive)
fix ErrorHandler process name
arinc: all resources should be created before partition mode is set to NORMAL, but: this might not be the case if the extracted model is not precise enough
don't use Queries.IsPrivate in base
get rid of functions for immediate post-dominator calculation b/c too expensive
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