MAYBE


Termination: (Ranking Functions Found)
------------
f933_0_createTree_GE: < < - arg2 + arg3 >, < 1 + arg3 - arg5 >, < - arg2 + arg3 >, < - arg2 + arg4 > >
f1076_0_insert_GT: < < arg1 >, < arg1 > >


Connected Subgraphs where we couldn't prove Termination:
--------------------------------------------------------
SCC:
+--transitions: t1,t2,t3
+--nodes: n_n_n_f1288_0_applyTreeChanger_NULL___1___1___1