Predicate TaintTracking::promiseStep

Holds if pred → succ should be considered a taint-propagating data flow edge through a promise.

These steps consider a promise object to tainted if it can resolve to a tainted value.