made the taint wrapper interface more precise by directly working on access paths