public Iterator<Statement> getPredNodes(Statement N) {
   return sdg.getPredNodes(N);
 }