TaPAS  0.2
Bug List
Global prestaf_predicate_display_vectors (ccl_log_type log, prestaf_predicate *P)
this procedure doesn't properly for infinite sets.