ASDF system definition for AST-to-MIR test.