reorder expression
rename arguments in predicate
minor reordering
prepare predicate (not yet used)
format