Testing method:

In the test suite of 170 examples, there are a set of expressions testing the ability of the translator to relate symbols to their CDs. These examples contain expressions with symbols from different CDs but with the same name, to test the translator's faculty to properly handle them. There are examples where correct symbols appear next to wrong CDs and vice versa. The translator should recognize only the valid CDs.