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