Fix SmtInterpolModel: we need to use the environment of the Prover
class, not the main environment
(in the future, these might be different).

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13718 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c