CProver Analysis: Make CProverBasedAnalyzer subclass of PatternBasedAnalyzer
(from redmine: issue id 1775, created on 2013-10-08, closed on 2013-10-09)
- Relations:
- parent #1776 (closed)
(from redmine: issue id 1775, created on 2013-10-08, closed on 2013-10-09)