Candidates for constr-eq