Add ability to generate WW assumption A as a lemma