Show error notification if CProver analysis could not be performed.
If there is something wrong with the verification condition the user provided, or CProver had some internal problems, the user should be notified by an error message dialog.
(from redmine: issue id 1603, created on 2013-08-09, closed on 2013-09-26)