Complete tests for simple combinators