let base_id addr id = 
  (* TODO : let base = Why_ops.base_id addr  ? *)
  let base = int_base_addr addr in
  let id =  Fol.Tconst (Fol.ConstInt (string_of_int id)) in
  (* let id = Why_ops.some id in *)
  let h = pred_eq base id in 
    h