let get_called_assigns kf =
let spec = Kernel_function.get_spec kf in
List.fold_left
(fun properties bhv ->
if Cil.is_default_behavior bhv then
match Property.ip_assigns_of_behavior kf Kglobal bhv with
| None -> properties
| Some ip -> ip :: properties
else properties
) [] spec.spec_behavior