Predicate ControlFlowGraph::ControlFlow::Internal::PreSsa::firstReadSameVar

predicate firstReadSameVar(Definition def, AssignableRead read)