feat(solver/context): Move AddFormula to Assert
feat(solver/context): Move AddFormula to Assert

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