Generate and interpret MIR.
Added one test for constant.