Comparisons and pattern predicate