Redone IF MIR tests.
Created an "engine" for MIR tests (located in tests/test_mir_common)