FIX: fix bug in ValueEliminator
DEV: Beginning of implementation of Visit in Only squareVisitor (to be completed)