This refactoring will appropriately reorder the parameters to a predicate both in its definition and all of its uses.