Member predicate TrackableState::testsFor

Holds if test shows value to be untainted with taint

predicate testsFor(PyEdgeRefinement test, boolean sense)