Fixes lemmas where prefixed h was not removed

[tlynn747]

I see it relates to the new data so they should have been picked up by the reviewers in the lemma pass. Thanks for fixing