Title: Linear and arbitrary predicates in decision trees for element distinctness