WYCS: added more test cases for arithmetic.
WYCS: added yet another test case!!!