public bool FlowsTo(IVarDef def, IVarUse use)
 {
     throw new Exception("The method or operation FlowsTo is not implemented.");
 }
 public bool FlowsTo(IVarDef def, IVarUse use)
 {
     throw new Exception("The method or operation FlowsTo is not implemented.");
 }