(s0)- F ->(s1)- F ->(s2)-[...]
      |         |         |
      +---------+---------+--[...]- T ->(accept)