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