constraint searches now prefer singletons