Revert "Switch order of LVN"

This reverts commit d16778a.

src/compiler.rkt

@@ -33,15 +33,15 @@
   ; Add optimization passes like const elimination.
   (define ssa-prog (ssa p))
   (define elim-prog (const-elim ssa-prog))
-  (define trunc-prog (allocate-and-truncate elim-prog))
-  (define prog (lvn elim-prog))
+  (define lvn-prog (lvn elim-prog))
+  (define trunc-prog (allocate-and-truncate lvn-prog))
 
   (when (check-transform-with-fn-map)
     (pretty-display "Running translation validation")
     (assert
       (equal?
         (unsat)
         (verify-spec-prog spec
-                          (to-v-list-prog prog)
+                          (to-v-list-prog trunc-prog)
                           #:fn-map (check-transform-with-fn-map)))))
-  prog)
+  trunc-prog)