Reduce default value for the number of tracked predicates.