13.04/13.07	YES
13.04/13.07	
13.04/13.07	2 decompositions
13.04/13.07	 #0 -----------
13.04/13.07	   4: b() -> f(b())
13.04/13.07	   5: f(a()) -> f(h(h(h(h(c(),b()),a()),f(c())),c()))
13.04/13.07	   6: c() -> h(f(c()),f(h(c(),a())))
13.04/13.07	   7: c() -> f(b())
13.04/13.07	
13.04/13.07	 #1 -----------
13.04/13.07	   1: b() -> c()
13.04/13.07	   2: b() -> f(c())
13.04/13.07	   3: c() -> c()
13.04/13.07	
13.04/13.07	@Development Closedness
13.04/13.07	--- R
13.04/13.07	   4: b() -> f(b())
13.04/13.07	   5: f(a()) -> f(h(h(h(h(c(),b()),a()),f(c())),c()))
13.04/13.07	   6: c() -> h(f(c()),f(h(c(),a())))
13.04/13.07	   7: c() -> f(b())
13.04/13.07	
13.04/13.07	--- S
13.04/13.07	   1: b() -> c()
13.04/13.07	   2: b() -> f(c())
13.04/13.07	   3: c() -> c()
13.04/13.07	
13.04/13.07	
13.04/13.07	EOF