Fixed warnings for Front
merged from develop
Fixed warnings for Generator
Fixed Warnings for Optimizer
Fixed Warnings for Intermediate

Still a couple to fix up in GLPKScopeAnalyzer will do later
Fixed Warnings for Main files and Test Files
Merged from Develop and other small fixes
Other last fixes
Changed how voidf warning was fixed
fixed so that regression testing works
merge from develop
Fixed bug in the alloy generator where wrong alloy code was generated

Also fixes testCase not passing
work towards fix
Merged develop into warning fixes
Fixed the rest of the warnings from GLPK
Fixed typo from previous commit
Fixed a bug where the OPTIONS command no longer worked

This will caused by the change in how the Arg's work when removing the
Maybe's
Fixed a bug from feature model check

This should never happen so there should be no change
Merged WarningFixes into snapshots

Note iDCheck now fails after the changes of the previous commit