fix(solver/context_impl): Collect side-constraints and variables
fix(solver/context_impl): Collect side-constraints and variables

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