refactorings in the concepts generator
test for bit-field outside of struct
fixing the use of InitExpression (only from within IDataflowAssignment); added tests
fixing the type of testsExecutionExpression; added a new solution for type-system tests for languages from com.mbeddr.core-extended
added typesystems checks for referencing/dereferencing literals and NullExpression; added tests that reflect these checks
added -D__CYGWIN__ to the arguments list of cbmc
fixing the type-system check for accessing the low/high register half
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core