AstToVal is located in:

• sharedobjgen/src/AstToVal.i3
• stubgen/src/AstToVal.i3