Computes the side effects for a function, which consists of argument- and global effects. This is similar to the ComputeEscapeEffects pass, just for side-effects.