Predicate FlowSteps::captures

Holds if f captures the variable defined by def in cap.

predicate captures(Function f, SsaExplicitDefinition def, SsaVariableCapture cap)