Preparing the Cunf Tool to participate in the Model Checking Contest 2014