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