cases = [
    ('Scenarios module with three runs, by itself',
     'pmt.py Scenarios'),

    ('Scenarios module, compose with Stack model, last two runs not allowed',
     'pmt.py Scenarios Stack'),

    ('Scenarios, compose with Stack, Push is observable',
     'pmt.py Scenarios Stack Observables'),

    ('Scenarios, compose with Stack, Push and Pop are observable',
     'pmt.py Scenarios Stack AllObservables')
    ]
