Add debugging info. Use the newly created "hasUnmodelledSideEffects" method.