choice.class=gov.nasa.jpf.awt.UIActionGenerator === choice trace #1 0: UIActionSingleChoice[id="processScriptAction",>!$Command:input.setText("turn")] 1: UIActionFromSet[…, >NONE,$FORCED.doClick,$QUEUED.doClick,$SINGLE_STEP.doClick] 2: UIActionFromSet[…,>$FORCED.doClick,…] 3: ...