fix(solver/context.cc): Assert(true) is no-op
fix(solver/context.cc): Assert(true) is no-op

dreal/dreal4,soonho-tri/dreal4,soonho-tri/dreal4,dreal/dreal4,soonho-tri/dreal4,dreal/dreal4,dreal/dreal4,soonho-tri/dreal4