(defcc <asXbs>
           <as> <dead> <bs> := (= <as> <bs>);)
           
(defcc <dead>
           X <dead> := skip   where (not (= X b));
           <e>;)
           
(compile (fn <asXbs>) [a a a a a c c % b b b b b])

(defcc <asbscs>
  <as> <bs> <cs> := true  where (and (= <as> <bs>) (= <bs> <cs>));)
  
(defcc <as>
        a <as> := (+ 1 <as>);
        a := 1;)
        
(defcc <bs>
         b <bs> := (+ 1 <bs>);
         b := 1;)

(defcc <cs>
         c <cs> := (+ 1 <cs>);
         c := 1;)