fixed uf proof bug: now storing deleted theory lemmas
cleaned up proof code