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!