method specialize_state_on_call kf =
    match self#current_stmt with
      | Some ({ skind = Instr (Call (_, _, l, _)) } as stmt) ->
          let at_stmt = Db.Value.get_stmt_state stmt in
          !Db.Value.add_formals_to_state at_stmt kf l
      | _ -> Value.get_initial_state kf