CProver analysis fails within projects, without a data dictionary
CProver analysis fails within projects, without a data dictionary.
There is a NullPointerExpression in Compiler.addPortInititalizationFunction (dd.getITypeDefinitions().foreach(td =>)
(from redmine: issue id 1748, created on 2013-09-23, closed on 2013-10-14)