Remove redundant computation in eqDeBruijnExpr
In eqDeBruijnExpr, we checked if the lists had the same length. However, all2 already returns False if the length doesn't match.
In eqDeBruijnExpr, we checked if the lists had the same length. However, all2 already returns False if the length doesn't match.