Why did I get error while generating report for Design Verifier?

Hi everyone,

I was recently using Simulink Design Verifier to detect design error on overflow. I ran the check on one subsystem of the model,and there were 39 objectives in total. After a few minutes, 37 objectives were proven valid and the remaining two ran for about another half an hour. I decided to abort the analysis and the SLDV asked me whether I wanted to produce results/reports. I clicked yes and after a while the SLDV gave me this error:

_ Undefined function 'profileStage' for input arguments of type 'handle.handle'._

No results/report were generated and I was confused because I didn't see this function anywhere in the MATLAB source codes (m-files); and hence I can't trace the error.

Thanks a lot in advance. :)