Immutable objects don't get combined taint during method calls