(1) בניית תוכנית מחשב בבאיזה מבין שתי ערכות או יותר חלופי של תוכנית משפטי נבחרה עבור נקודת execution.~(2) של תוכנית מחשב באחד אילו שתי ערכות או יותר חלופי של התוכנית היא על-ידי הצהרות שנבחר עבור execution.~(3) כל מערכות חלופיות של תוכנית משפטי (1).~(4) לבצע את הבחירה ב- (1).