Change CProver Analyses -> CProver Analysis
The name of the frame that allows CProver-based model checking, sounds to me more appropriate to be CProver Analysis instead of CProver Analyses.
(from redmine: issue id 1749, created on 2013-09-23, closed on 2014-02-13)