Prevent the variable from being injected in the global namespace
Added support for pickling conjectures