Member predicate Configuration::isSanitizer

Holds if the node node is a taint sanitizer when the flow state is state.