1.1. Pass and fail cheat sheet

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