結果 : aws cdk step function choice example