Predicate ControlFlowGraph::ControlFlow::Internal::PreSsa::adjacentReadPairSameVar

predicate adjacentReadPairSameVar(AssignableRead read1, AssignableRead read2)