Local var decl after labels are not allowed by C. Fixed this problem in the cbmc generator
Local var decl after labels are not allowed by C. Fixed this problem in the cbmc generator
removed Unitcontainer
added additional check for module contents referenced from conversion rule
delete the unitcontainer during migration
delete the unitcontainer during migration
fixed generation
refactoring also imported modules