- : unit = () - : unit = () h : heuristic = - : unit = () APPLY CRITERIA (Marked dependency pairs) TRS termination of: [1] first(0,X) -> nil [2] first(s(X),cons(Y)) -> cons(Y) [3] from(X) -> cons(X) Sub problem: guided: DP termination of: END GUIDED APPLY CRITERIA (Graph splitting) Found 0 components: SOLVED { TRS termination of: [1] first(0,X) -> nil [2] first(s(X),cons(Y)) -> cons(Y) [3] from(X) -> cons(X) , CRITERION: MDP [ { DP termination of: , CRITERION: SG [ ]} ]} Cime worked for 0.001104 seconds (real time) Cime Exit Status: 0