feat(solver/filter_assertion.cc): Handle integer/binary cases
feat(solver/filter_assertion.cc): Handle integer/binary cases

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