arinc_base.pml -> arinc.base.pml
arinc: support Blackboard
arinc: declarations and guards for return code variables
non-deterministic branching on return code (SUCCESS/ERROR)
fixed problem with call to functions without edges (restore ctx_hash)
only do branching for intersection of return code variables that are written (call) and read (branch) -> TODO unsound!
CBV passed return codes: extra edges callee_var = caller_var
don't use macro for return, some fixes
keep test script versioned
better test script
include date in folder name for sorting
script for checking out and building old versions for tests
promela bench: is inline a problem? Apparently just branching.