public static BacklinksIndex createBacklinksIndex(Stella_Object self) {
    { BacklinksIndex index = BacklinksIndex.newBacklinksIndex();

      index.dependentPropositionsList = (Stella_Object.isaP(self, Logic.SGT_LOGIC_PATTERN_VARIABLE) ? Logic.createSequenceIndex(Logic.KWD_NON_PAGING, Stella.NIL) : Logic.createSequenceIndex(((Module)(Stella.$MODULE$.get())), Cons.cons(Logic.KWD_DEPENDENTS, Cons.cons(((Stella.NIL == null) ? Stella.NIL : Stella.NIL), Cons.cons(self, Stella.NIL)))));
      return (index);
    }
  }