NuSMV array bug fixed. Added dummy settings window.
Modular arithmetics option. Fixed smv type bug
Minor version changed
Added parsing of FB Instance "Parameter" and variable initialization from "parameter" in SMV composite FB module