Adding BigWord substraction tests
Associativity does not hold for substraction