Testbench written, but does not test successfully