QHsmTst example, QEP/C 3.1.01top-INIT;d-ENTRY;d2-ENTRY;d2-INIT;d21-ENTRY;d211-ENTRY;A:d21-A;d211-EXIT;d21-EXIT;d21-ENTRY;d21-INIT;d211-ENTRY;B:d21-B;d211-EXIT;d211-ENTRY;D:d211-D;d211-EXIT;d21-INIT;d211-ENTRY;E:d-E;d211-EXIT;d21-EXIT;d2-EXIT;d1-ENTRY;d11-ENTRY;I:d1-I;F:d1-F;d11-EXIT;d1-EXIT;d2-ENTRY;d21-ENTRY;d211-ENTRY;I:d2-I;I:d-I;F:d2-F;d211-EXIT;d21-EXIT;d2-EXIT;d1-ENTRY;d11-ENTRY;A:d1-A;d11-EXIT;d1-EXIT;d1-ENTRY;d1-INIT;d11-ENTRY;B:d1-B;d11-EXIT;d11-ENTRY;D:d1-D;d11-EXIT;d1-EXIT;d-INIT;d1-ENTRY;d11-ENTRY;D:d11-D;d11-EXIT;d1-INIT;d11-ENTRY;E:d-E;d11-EXIT;d1-EXIT;d1-ENTRY;d11-ENTRY;G:d11-G;d11-EXIT;d1-EXIT;d2-ENTRY;d21-ENTRY;d211-ENTRY;H:d211-H;d211-EXIT;d21-EXIT;d2-EXIT;d-INIT;d1-ENTRY;d11-ENTRY;H:d11-H;d11-EXIT;d1-EXIT;d-INIT;d1-ENTRY;d11-ENTRY;C:d1-C;d11-EXIT;d1-EXIT;d2-ENTRY;d2-INIT;d21-ENTRY;d211-ENTRY;G:d21-G;d211-EXIT;d21-EXIT;d2-EXIT;d1-ENTRY;d1-INIT;d11-ENTRY;C:d1-C;d11-EXIT;d1-EXIT;d2-ENTRY;d2-INIT;d21-ENTRY;d211-ENTRY;C:d-C;d211-EXIT;d21-EXIT;d2-EXIT;d-EXIT;s-ENTRY;s-INIT;s1-ENTRY;s11-ENTRY;C:s1-C;s11-EXIT;s1-EXIT;s2-ENTRY;s2-INIT;s21-ENTRY;s211-ENTRY;A:s21-A;s211-EXIT;s21-EXIT;s21-ENTRY;s21-INIT;s211-ENTRY;A:s21-A;s211-EXIT;s21-EXIT;s21-ENTRY;s21-INIT;s211-ENTRY;B:s21-B;s211-EXIT;s211-ENTRY;B:s21-B;s211-EXIT;s211-ENTRY;D:s211-D;s211-EXIT;s21-INIT;s211-ENTRY;D:s211-D;s211-EXIT;s21-INIT;s211-ENTRY;E:s-E;s211-EXIT;s21-EXIT;s2-EXIT;s1-ENTRY;s11-ENTRY;I:s1-I;F:s1-F;s11-EXIT;s1-EXIT;s2-ENTRY;s21-ENTRY;s211-ENTRY;I:s2-I;I:s-I;F:s2-F;s211-EXIT;s21-EXIT;s2-EXIT;s1-ENTRY;s11-ENTRY;A:s1-A;s11-EXIT;s1-EXIT;s1-ENTRY;s1-INIT;s11-ENTRY;A:s1-A;s11-EXIT;s1-EXIT;s1-ENTRY;s1-INIT;s11-ENTRY;B:s1-B;s11-EXIT;s11-ENTRY;B:s1-B;s11-EXIT;s11-ENTRY;D:s1-D;s11-EXIT;s1-EXIT;s-INIT;s1-ENTRY;s11-ENTRY;D:s11-D;s11-EXIT;s1-INIT;s11-ENTRY;D:s1-D;s11-EXIT;s1-EXIT;s-INIT;s1-ENTRY;s11-ENTRY;D:s11-D;s11-EXIT;s1-INIT;s11-ENTRY;E:s-E;s11-EXIT;s1-EXIT;s1-ENTRY;s11-ENTRY;G:s11-G;s11-EXIT;s1-EXIT;s2-ENTRY;s21-ENTRY;s211-ENTRY;H:s211-H;s211-EXIT;s21-EXIT;s2-INIT;s21-ENTRY;s211-ENTRY;G:s21-G;s211-EXIT;s21-EXIT;s2-EXIT;s1-ENTRY;s1-INIT;s11-ENTRY;H:s11-H;s11-EXIT;s1-EXIT;s-INIT;s1-ENTRY;s11-ENTRY;F:s1-F;s11-EXIT;s1-EXIT;s2-ENTRY;s21-ENTRY;s211-ENTRY;H:s211-H;s211-EXIT;s21-EXIT;s2-INIT;s21-ENTRY;s211-ENTRY;F:s2-F;s211-EXIT;s21-EXIT;s2-EXIT;s1-ENTRY;s11-ENTRY;C:s1-C;s11-EXIT;s1-EXIT;s2-ENTRY;s2-INIT;s21-ENTRY;s211-ENTRY;G:s21-G;s211-EXIT;s21-EXIT;s2-EXIT;s1-ENTRY;s1-INIT;s11-ENTRY;G:s11-G;s11-EXIT;s1-EXIT;s2-ENTRY;s21-ENTRY;s211-ENTRY;