Extraída árvore de segmentos do arquivo spoj/horrible.a.cpp