Removing global bindings from global VarDecls.

  - Without changing the fixpoint API.