let is_assigns p =
  match property_of_id p with
    | Property.IPAssigns _ -> true
    | _ -> false