let process_return _current_function pdg state stmt ret_exp =
  let last_state =
      match ret_exp with
        | Some exp ->
            let loc_exp = !Db.From.find_deps_no_transitivity (Kstmt stmt) exp in
            let decls_exp =  Cil.extract_varinfos_from_exp exp in
            BuildPdg.add_retres pdg state stmt loc_exp decls_exp
        | None ->
            let controled_stmt = [] in
              BuildPdg.process_jump pdg stmt controled_stmt;
            state
  in
    BuildPdg.store_last_state pdg last_state