aAdding mealy testbench