docs: def printer(self):
          """Visualizes the current state"""
          for key in self.statediag:
              if key.trans is not None and len(key.trans) > 0:
                  print '****** ' + repr(key.id) + '(' + repr(key.type)\
                        + ' on sym ' + repr(key.sym) + ') ******'
                  print key.trans