Create test bench for simple_not