22.11/22.15	MAYBE
22.11/22.15	
22.11/22.15	
22.11/22.15	Termination: (Ranking Functions Found)
22.11/22.15	------------
22.11/22.15	f1437_0_HeapSort_ArrayAccess: < < -1 + arg2 > >
22.11/22.15	f1154_0_Ajouter_LE: < < 2 * arg2 >, < 2 * arg2 > >
22.11/22.15	f1154_0_Ajouter_LE': < < -1 + arg2 >, < 2 * arg2 > >
22.11/22.15	f809_0_HeapSort_LT: < < arg1 > >
22.11/22.15	
22.11/22.15	
22.11/22.15	Connected Subgraphs where we couldn't prove Termination:
22.11/22.15	--------------------------------------------------------
22.11/22.15	SCC:
22.11/22.15	+--transitions: t3
22.11/22.15	+--nodes: n_n_n_f229_0_main_GE___6___6___6
22.11/22.15	
22.11/22.15	
22.16/22.22	EOF