Start working on proving the new expr optimizer