BasicValueEliminator passed all tests.