Без заголовка

А, нет, не отдашь. Ты полагаешь, что суперкомпилируемая программа и инерпретируемая программа - на одном уровне в стеке. Точнее, ты пишешь "моделирования/суперкомпиляции", то есть по факту оставляешь интерпретацию вообще за пределами стека метамоделей.