Model checking variables with CProver
Currently ports can be model check, but sometimes specially for debugging purposes, it makes sense to model check variables from components.
(from redmine: issue id 1757, created on 2013-09-26, closed on 2017-11-28)