docs: def get_terminals_as_list(self):
          """
          Iterator that returns all the terminal objects
          @rtype: L{Cterminal}
          @return: terminal objects as list
          """
          terminalList = []
          for t_node in self.__get_t_nodes():
              terminalList.append(Cterminal(t_node))
          return terminalList