Some modifications to Solver.__init__ to support expressions containing
observables.