Fix bug in the SMTLIBQueryLoggingSolver. We should only clear declarations once given new constrains otherwise if the solver is called twice with the same constraints (e.g. when handling assert commands) then we'll forget to print some of the variables.
Fix bug in the SMTLIBQueryLoggingSolver. We should only clear
declarations once given new constrains otherwise if the solver is
called twice with the same constraints (e.g. when handling assert
commands) then we'll forget to print some of the variables.

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix