Add type checking for CProver analyses
There is no type checking for CProver verification conditions.
E.g. for an int Port ‘Output’ one could check “Output != ENUM()” without
the tool complaining about it.
Probably, the displayed counterexample could be parsed incorrectly in
such cases, too.
(from redmine: issue id 1631, created on 2013-08-16, closed on 2013-09-26)