Bug List

Global prestaf_predicate_display_vectors (ccl_log_type log, prestaf_predicate *P)

this procedure doesn't properly for infinite sets.