added support for the explicit taint wrapper models when using library summaries