Decide whether to taint this instruction, given the taint variable set @return true/false
(Instruction ins, ExecutionPath path)
source not stored for this graph (policy: none)
no test coverage detected