Added test to operation union in floppy_rep_fsm