Member predicate FlowState::isTaint

Holds if this represents a value that is considered entirely tainted, except the first character might not be user-controlled.