issues on Export Feature

Submitted by Alberto Debiasi @adebiasi

Link to original bug (#555673)

Description

In the file .smv generated by the export feature:

• The keyword IVAR is present also when there are no IVAR variebles defined.
• The 'boolean' type is defined as 'Boolean' type with B in capital letter. "Boolean" is not recognized by nuXmv.