Also adding the actual code that checks the effect summaries of overridden virtual
functions! (Forgot to include in previous commit)