As posted by @PetarMax in #822 (comment), when summarising a function, if one of the parameters or fields is an address, we need to assume that it does not equal the cheatcode account address.