Added tests for subtraction bugs