fixed path tracking error
removed outdated assertion that does not hold anymore in the current architecture
(1) fixed an issue with phantom classes and hierarchies. If we have a phantom class, we can only check the class itself against the taint wrapper lists, but may not walk up the hierarchy

(2) refactorings and performance improvements