module comb-red
imports comb

rules

  T1: Apply(Apply(K, x), y) -> x
  T2: Apply(Apply(Apply(S, f), g), x) -> Apply(Apply(f, x), Apply(g, x))