Reject pop calls if the solver doesn't support global-decls
Reject pop calls if the solver doesn't support global-decls

TODO: I wonder if pop is the only one we should reject, or if there are
others. But we’ll deal with it as they arise.

josefs/sbv