MAYBE


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


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

deterministic: False
method 4