let initial_state_formals kf (state:Relations_type.Model.t) =
match kf.fundec with
| Declaration _ -> assert false
| Definition (f,_) ->
List.fold_right
initialize_var_using_type
f.sformals
state