Yes, it is correct.
It is populated only in org.kframework.kil.loader.UpdateReferencesVisitor.visit(Syntax)