Added an experimental flag which sets all globals to top permanently.
Could be useful for forcing convergence of solvers not supporting
globals/side-effects.