Add COMP(x,APP(K, y)) rule to sk.rules