User blog comment:Hyp cos/SCG(n) and some related/@comment-1605058-20140915163630/@comment-1605058-20140916050134

Well, I wouldn't consider getting multiple nestings of TREE function "not getting far". Also, if I'm not mistaken, your 4th and 11th graph heavily limit what you can do with multiply connected cycles.