Review for Fritz

this line will be obsolete when `syntax.compiler.dumpLine` is updated.