Issue found! Reporting path 0. Trace:
SpecificationStates Input -> ObservedOutput
    1: [Listen] InSYN -> [OutSYN,OutACK]
    2: [ReceivedSYN] InRST -> []
    3: [Listen] InACK -> []
    4: [Listen] InUserData -> []
    5: [Listen] InRST -> []
    6: [Listen] InACK -> []
    7: [Listen] InACK -> []
    8: [Listen] InFIN -> []
    9: [Listen] InFIN -> []
    10: [Listen] InFIN -> []
    11: [Listen] InSYN -> []

Allowed outputs and target states: [Pt [OutSYN,OutACK] ReceivedSYN]
Input trace: [InSYN,InRST,InACK,InUserData,InRST,InACK,InACK,InFIN,InFIN,InFIN,InSYN]

Issue found in path 1, 0 paths executed, 0 paths truncated, in total 11 transitions.