Added debug test:

There seems to be a problem with generating source symbols from
intermediate symbols using the function "enc". Added a debug test that
compares the original source symbols with the generated ones.