DEV: Add implementation of ValueEliminator