1) added a missing code file
2) removed a lot of debugging outputs
3) added a new aliasing test case