Member predicate Ssa::Definition::getARead

Gets a control-flow node that reads the value of this SSA definition.

Example:

def m b        # defines b_0
  i = 0        # defines i_0
  puts i       # reads i_0
  puts i + 1   # reads i_0
  if b         # reads b_0
    i = 1      # defines i_1
    puts i     # reads i_1
    puts i + 1 # reads i_1
  else
    i = 2      # defines i_2
    puts i     # reads i_2
    puts i + 1 # reads i_2
  end
               # defines i_3 = phi(i_1, i_2)
  puts i       # reads i3
end