Пытаюсь сделать компилятор на системе переписывания. Кое-как осилил нейм-резолюшн, но теперь нужно создавать Control Flow Graph, а в моей системе графов нет - только древа. Как в таком случае подойти к CFG? Или лучше таки доделать графовые переписывания? Но я вот думал, там же другие проблемы появятся, придется например проверять зацикленность.