MAYBE


Connected Subgraphs where we couldn't prove Termination:
--------------------------------------------------------
SCC:
+--transitions: t16,t17,t18,t20
+--nodes: n_n_n_f213_0_increase_LE_P___4___1___1,n_n_n_f213_0_increase_LE___6___5___5