The effect of working memory capacity on the types of generated counterexamples