Temporary proof search fix for 0.9.9