pass A B | pass can be executed if A and B can be executed. |
pass sequence A B | pass can be executed if A can be executed. |
pass choice A B | pass can be executed if A or B can be executed. |
fail A B | fail can be executed if A or B cannot be executed. |
fail sequence A B | fail can be executed if A cannot be executed. |
fail choice A B | fail can be executed if A and B cannot be executed. |