cf_rule1a(2,c,2).
cf_rule1a(2,b,1).
cf_rule1a(2,a,2).
cf_rule1a(0,a,2).
cf_rule1b(1,2,c).
cf_rule1b(1,2,a).
cf_rule0(1).