let initial_state_formals kf (state:Cvalue.Model.t) =
match kf.fundec with
| Declaration (_, _, None, _) -> state
| Declaration (_, _, Some l, _)
| Definition ({ sformals = l }, _) ->
List.fold_right
Initial_state.initialize_var_using_type
l
state