Ano. Lze to. Pokud tomu rozumím, tak se používá třída NodeSourcePosition. Pozice se obvykle vyskytuje v bajtkódu a po naparsování do grafu se přiřadí k jednotlivým vrcholům. Kompilátor ten graf pak různě mění, ale i když nějaké vrcholy zahodí a vytvoří místo nich jiné, tak jim předá vhodnou pozici. Vrcholy, které zbudou v poslední fázi (a generují nativní instrukce), tak stále mají jakýsi vztah k původním pozicím. Tak asi tak. Více jsem to nezkoumal.