Add --pvars, --quick-check-size, --tests and --size
Only prune away exactly definitions in the explored theory