Text this: On test vector reordering for combinational circuits