> But most non-trivial programs don't have a tree structure,

Pretty much all programs have at least one tree structure that covers the entire program (the AST), though that may or may not be the most interesting view of the program structure.