let
macro_ligth =
"buch_Macro_Prop_St_Tr_Without_Conds"