public void vizConceptLinksToDotEdges(LogicObject concept, Module module) {
    { VizInfo self = this;

      { OutputStream stream = self.stream;
        int count = 0;

        { LogicObject renamed_Super = null;
          edu.isi.powerloom.PlIterator iter000 = edu.isi.powerloom.PLI.getDirectSuperrelations(concept, module, null);

          while (iter000.nextP()) {
            renamed_Super = ((LogicObject)(iter000.value));
            if (Surrogate.subtypeOfP(Stella_Object.safePrimaryType(renamed_Super), OntosaurusUtil.SGT_LOGIC_NAMED_DESCRIPTION)) {
              { NamedDescription super000 = ((NamedDescription)(renamed_Super));

                if (self.vizAllowedObjectP(super000)) {
                  stream.nativeStream.println("  \"" + OntosaurusUtil.vizDotObjectName(super000) + "\" -> \"" + OntosaurusUtil.vizDotObjectName(concept) + "\" [dir=back]");
                  count = count + 1;
                }
                else {
                  stream.nativeStream.print("  \"" + OntosaurusUtil.vizDotObjectName(super000) + "\" [shape=box, style=filled, fillcolor=grey,URL=\"" + self.vizGenerateOntosaurusHandle(super000) + "\"]");
                  stream.nativeStream.println("  \"" + OntosaurusUtil.vizDotObjectName(super000) + "\" -> \"" + OntosaurusUtil.vizDotObjectName(concept) + "\" [dir=back]");
                  count = count + 1;
                }
              }
            }
            else {
              { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

                stream000.nativeStream.print("viz-concept-links-to-dot-edges: unhandled super concept: `" + renamed_Super + "'");
                throw ((StellaException)(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
              }
            }
          }
        }
        if ((count == 0) &&
            self.addTopP) {
          stream.nativeStream.println("  \"" + OntosaurusUtil.VIZ_TOP + "\" -> \"" + OntosaurusUtil.vizDotObjectName(concept) + "\" [dir=back]");
        }
        if (self.showRelationsP) {
          { LogicObject range = null;
            String relcolor = self.relationColor;
            String relstyle = self.relationStyle;

            { Object old$Module$000 = Stella.$MODULE$.get();
              Object old$Context$000 = Stella.$CONTEXT$.get();

              try {
                Native.setSpecial(Stella.$MODULE$, module);
                Native.setSpecial(Stella.$CONTEXT$, ((Module)(Stella.$MODULE$.get())));
                { LogicObject relation = null;
                  Cons iter001 = self.vizGetBinaryRelationsOf(concept);

                  for (;!(iter001 == Stella.NIL); iter001 = iter001.rest) {
                    relation = ((LogicObject)(iter001.value));
                    range = edu.isi.powerloom.PLI.getRange(relation);
                    if (self.vizAllowedObjectP(relation)) {
                      stream.nativeStream.println("  \"" + OntosaurusUtil.vizDotObjectName(concept) + "\" -> \"" + OntosaurusUtil.vizDotObjectName(range) + "\" [label=\"" + OntosaurusUtil.vizDotObjectName(relation) + "\", color=" + relcolor + ", style=" + relstyle + "]");
                    }
                  }
                }

              } finally {
                Stella.$CONTEXT$.set(old$Context$000);
                Stella.$MODULE$.set(old$Module$000);
              }
            }
          }
        }
      }
    }
  }