Loop : consistant naming (local->direct), print loop exits when printing loop structure, fix for loop exits : one loop exit may also exit outter loops Added cardinalty for NodeBitMaps Added exits detection tests to NestedLoopTest

// A simple interface, to allow an unknown foreign call from a class
// loaded with LOADER1 to a class loaded with LOADER2.
public interface IFace {
  public many_loader[] gen();
}