NO
0.08/0.17	NO
0.08/0.17	
0.08/0.17	Problem:
0.08/0.17	 if(false(),X) -> Y
0.08/0.17	 f(X) -> if(X,c())
0.08/0.17	 if(true(),X) -> X
0.08/0.17	
0.08/0.17	Proof:
0.08/0.17	 Fresh Variable Processor:
0.08/0.17	  loop length: 1
0.08/0.17	  terms:
0.08/0.17	   if(false(),X)
0.08/0.17	  context: []
0.08/0.17	  substitution:
0.08/0.17	   Y -> if(false(),X)
0.08/0.17	  Qed
0.08/0.18	EOF