256.56/256.60	MAYBE
256.56/256.60	
256.56/256.60	
256.56/256.60	Termination: (Ranking Functions Found)
256.56/256.60	------------
256.56/256.60	f69_0__init__GT: < < arg1 > >
256.56/256.60	f321_0_copy_NONNULL: < < arg2 > >
256.56/256.60	f287_0_isZero_NONNULL: < < arg3 > >
256.56/256.60	
256.56/256.60	
256.56/256.60	Connected Subgraphs where we couldn't prove Termination:
256.56/256.60	--------------------------------------------------------
256.56/256.60	SCC:
256.56/256.60	+--transitions: t11,t12,t13,t14,t15,t16,t17,t18,t19,t20,t21,t22,t23,t24,t25,t26,t27,t28
256.56/256.60	+--nodes: n_n_n_f226_0_isZero_NONNULL___1___3___3,n_n_n_f226_0_isZero_NONNULL___2___2___2,n_n_n_f226_0_isZero_NONNULL___3___1___1
256.56/256.60	
256.56/256.60	
256.56/256.66	EOF