let
macro_ligth =
"aorai_Macro_Prop_St_Tr_Without_Conds"