Arena Decide Branching Example - Arena-scripting Typing CST Test