ID: 2360
Author: GOAL
St: 3
Tr: 12
Acceptance Condition:
{s0, s2}