Now purges redundant conjectures when the program ends