CBV passed return codes: extra edges callee_var = caller_var