changed taint wrappers to return full access paths instead of just values which allows for more precise taint construction

removed some unused code