passAB | pass can be executed if A and B can be executed. |
passsequenceAB | pass can be executed if A can be executed. |
passchoiceAB | pass can be executed if A or B can be executed. |
failAB | fail can be executed if A or B cannot be executed. |
failsequenceAB | fail can be executed if A cannot be executed. |
failchoiceAB | fail can be executed if A and B cannot be executed. |