Support Arrays as input ports for CProver analyses
Cprover analyses would not be able yet, to cope with arrays as input values.
This particularly applies for the port initialization.
(from redmine: issue id 1564, created on 2013-08-02, closed on 2013-09-01)