ast: MapDefined does not have different numeric variants
ast: Ignore the .trs file