let macro_ligth = "aorai_Macro_Prop_St_Tr_Without_Conds"