Added combined fsm/if test case