15.28/15.36 MAYBE 15.28/15.36 15.28/15.36 15.28/15.36 Termination: (Ranking Functions Found) 15.28/15.36 ------------ 15.28/15.36 f292_0_isZero_NONNULL: < < arg1 > > 15.28/15.36 f69_0__init__GT: < < arg1 > > 15.28/15.36 n_f292_0_isZero_NONNULL___1: < < arg1 >, < arg1 > > 15.28/15.36 n_f292_0_isZero_NONNULL___2: < < arg1 >, < arg1 > > 15.28/15.36 15.28/15.36 15.28/15.36 Connected Subgraphs where we couldn't prove Termination: 15.28/15.36 -------------------------------------------------------- 15.28/15.36 SCC: 15.28/15.36 +--transitions: t10 15.28/15.36 +--nodes: n_n_n_f292_0_isZero_NONNULL___2___1___1 15.28/15.36 15.28/15.36 15.34/15.44 EOF