Added a test case for taint wrapper's interaction with alias search

Now searching for aliases on parameters tainted by wrappers as well