please include function getThoughtSpace.

static void printThoughtSpaces() {
  for (ThoughtSpace ts : values(getThoughtSpace_map)) {
    print("Thought Space " + ts.globalID);
    for (LispStatement s : values(ts.statements))
      printIndent("[" + s.globalID + "] " + s.term);
    print();
  }
}