let fresh_predicate_id () =
  incr __pred_count; !__pred_count