Compact tree of Lean M Axline