MAYBE

Problem:
 @(@(@(S(),x),y),z) -> @(@(x,z),@(y,z))
 @(@(K(),x),y) -> x
 @(I(),x) -> x
 @(@(D(),x),x) -> x
 app(K(),x) -> @(I(),x)
 app(x,K()) -> x

Proof:
 Open