What rule is used to simplify the expression involving the 'pred' function to find the predecessor of a number?