Fixed check of effects of overridden functions to apply proper substitutions on
effect summaries of the base class to translate them into the regions/region-params
of the derived classes.