let
fresh_predicate_id () =
incr __pred_count; !__pred_count