tweak probcut precondition

Try not to search the product subtree when it’s not likely to provide a
cut