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