Add query-lemma and automatic core-lint checks to equality rewrites.