44.84/44.87	MAYBE
44.84/44.87	
44.84/44.87	
44.84/44.87	Termination: (Ranking Functions Found)
44.84/44.87	------------
44.84/44.87	f1857_0_createTree_FieldAccess: < < -1 + arg1 >, < arg1 >, < -1 + arg1 >, < -1 + arg1 > >
44.84/44.87	f1706_0_createTree_LE: < < arg3 >, < arg3 >, < arg3 >, < arg3 >, < arg3 >, < 1 + arg3 > >
44.84/44.87	f1998_0_createTree_FieldAccess: < < arg1 >, < arg1 >, < arg1 >, < arg1 >, < -1 + arg1 >, < arg1 > >
44.84/44.87	f1910_0_createTree_LE: < < arg1 >, < arg1 >, < arg1 >, < arg1 >, < -1 + arg1 >, < arg1 > >
44.84/44.87	f1787_0_createTree_NONNULL: < < -1 + arg1 >, < arg1 >, < arg1 >, < arg1 > >
44.84/44.87	
44.84/44.87	
44.84/44.87	Connected Subgraphs where we couldn't prove Termination:
44.84/44.87	--------------------------------------------------------
44.84/44.87	SCC:
44.84/44.87	+--transitions: t6,t7,t8,t9
44.84/44.87	+--nodes: n_n_n_f2161_0_count_NONNULL___6___6___6
44.84/44.87	
44.84/44.87	
44.84/44.94	EOF