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