fixing assert in solver_common (was giving false allarms with multiple solve() calls)