adjacentReadPairSameVar  Holds if the read at cfn2 is a read of the same SSA definition def as the read at cfn1 , and cfn2 can be reached from cfn1 without passing through another read.

firstReadSameVar  Holds if the value defined at nontrivial SSA definition def can reach a read at cfn , without passing through any other read.

lastRead  Holds if cfn is a last read of the nontrivial SSA definition def . That is, cfn can reach the end of the enclosing callable, or another SSA definition for the underlying source variable, without passing through another read.

ssaDefReachesEndOfBlock  Holds if the nontrivial SSA definition of v at def reaches the end of a basic block bb , at which point it is still live, without crossing another SSA definition of v .

ssaDefReachesRead  Holds if the nontrivial SSA definition of v at def reaches read without crossing another SSA definition of v . The read at node is of kind rk .

ssaDefReachesUncertainDef  Holds if the nontrivial SSA definition of v at def reaches uncertain SSA definition redef without crossing another SSA definition of v .
