Does `funOwner == oldClass` hold, as we're flattened? Ah, I guess not, because the flatten phase doesn't deal with Functions