AstToVal is located in:

• stubgen/src/AstToVal.m3
• sharedobjgen/src/AstToVal.m3