NO


Termination: (Ranking Functions Found)
------------
f292_0_isZero_NONNULL: < < arg1 > >
f69_0__init__GT: < < arg1 > >


NON-Termination:
----------------
SCC:
+--transitions: t8
+--nodes: f292_0_isZero_NONNULL
Closed walk: 1 -> t8
deterministic: Forced for: arg4P, arg3P, arg2P, arg1P, arg4P, arg4P, arg3P, arg3P, arg2P, arg2P, arg1P, arg1P, arg2P, arg3P, arg4P
Reachability checked!
- Recurrent Set Found:
{
	-1 + arg4P == 0,
	-3 + arg3P == 0,
	-3 + arg2P == 0,
	-1 + arg1P == 0,
	-1 + arg4 == 0,
	-3 + arg3 == 0,
	-3 + arg2 == 0,
	-1 + arg1 == 0
}
method 1