Degraded TaintEngine; Single Procedure Executor