add funny S-K combinator test case