fixed bug where existentials that didnt need to get solved were used for proof search