Moving the pointer to an Effect Summary Inclusion Constraint from VarEffectSummary to EffectSummary. The reason is that in general we may have missing RPL annotations for a function with a declared effect summary.