Yannis: Improvement in DynamicRecords and compiler related functions