public static List getAssertionStructure(Symbol inst, int depth) {
    Logic.$VISITED_PROPOSITIONS$ = List.newList();
    Logic.$VISITED_INSTANCES$ = List.newList();
    return (Logic.helpGetAssertionStructure(inst, depth));
  }