Added missing parts to proof search.