Predicate Flow::CaptureSsaInput::variableRead

Holds if the ith node of basic block bb reads source variable v. The Boolean certain indicates whether the read is certain.

Examples of uncertain reads are pseudo-reads inserted at the end of a C# method with a ref or out parameter, where it is the caller that may or may not read the argument.