Added option to print all valid expressions
Prevent functions in conjectures from polluting the global namespace