* @param localP
   * @return Iterator
   */
  public static Iterator allTerms(Module module, boolean localP) {
    if (localP) {
      {
        Logic.locallyConceivedInstances(module).removeDeletedMembers();
        return (Logic.locallyConceivedInstances(module).allocateIterator());
      }
    }
    else {
      return (Logic.allNamedTerms(module, false).concatenate(Logic.allUnnamedTerms(module, false), Stella.NIL));
    }
  }