change ToySolver.Wang to use BoolExpr
add testcases for ToySolver.Wang