bug found in nested macro expansion, created TODO.
Fixed expand-transitions to unpack list of transitions for the case block.