1.01/0.61 NO 1.01/0.61 1.01/0.61 Problem: 1.01/0.61 strict: 1.01/0.61 a() -> b() 1.01/0.61 weak: 1.01/0.61 d() -> c(a(),d()) 1.01/0.61 1.01/0.61 Proof: 1.01/0.61 Unfolding Processor: 1.01/0.61 loop length: 2 1.01/0.61 terms: 1.01/0.61 d() 1.01/0.61 c(a(),d()) 1.01/0.61 context: c(b(),[]) 1.01/0.61 substitution: 1.01/0.61 1.01/0.61 Qed 1.01/0.61 EOF