name,is_strict,transformations_hr
TracedSymmMonCat,0,natural transformations