Updated tests that were failing because we changed into a fatal error when a declared effect
summary is not covered by the effect summary of the canonical declaration