public override Map diagnostics() { // TODO: return empty map for now Map d = new Map(Sys.StrType, Sys.ObjType); return d; }