Finding CBN y-combinator with SKI