Can now replace equals condition in predicate with restriction in search space