mif-backend
This parameter exists so that -V mif-backend can be used on the command line to explicitly select the MIF backend.
(define mif-backend ;; Are we using the MIF backend? #f)