Predicate Append should consider the expression type.