Add test case for exclusive choice pattern