added a test case for the EasyTaintWrapper