(mat:free+tree:A) tree:Amat:free+tree:Asab:A_t