Add lemma stub for pragma