Added checking of overidden virtual functions (their effect summary must
cover the effects of all the overidding functions).