import csharp

from AssignableDefinition def, AssignableRead read, Ssa::Definition ssaDef
where
  ssaDef.getAnUltimateDefinition().(Ssa::ExplicitDefinition).getADefinition() = def and
  read = ssaDef.getARead()
select def, read