!7

cmodule TrailsTree {
  S solverModule;
  transient O root;
  transient JTree tree;
  transient SingleComponentPanel scp;

  visual scp = singleComponentPanel(makeTree());
  
  JTree makeTree() {
    ret tree = jDynamicTree(root, lambda1 getChildren);
  }
  
  L getChildren(O trail) {
    if (trail instanceof Pair) trail = pairB((Pair) trail);
    if (trail cast Map)
      ret mapToPairs(trail);
    null;
  }
}