The conditions like =($0, $1) and =($1, $1) are equivalent, however adding that permutation increases search space and it gains nothing.