make getUsedBytes abstract
Merge branch 'type-refactoring'

Conflicts:
	build/com.mbeddr.analyses/build-base.xml
	build/com.mbeddr.analyses/build-cbmc.xml
	build/com.mbeddr.analyses/build-nusmv.xml
	build/com.mbeddr.analyses/build-ts-tests.xml
	build/com.mbeddr.analyses/build-yices.xml
	build/com.mbeddr.cc/build-ple.xml
	build/com.mbeddr.cc/build-req.xml
	build/com.mbeddr.core/build.xml
	build/com.mbeddr.debugger.testing/debugger-testing.xml
	build/com.mbeddr.debugger.testing/debugger.testing.tests.core.xml
	build/com.mbeddr.doc/build.xml
	build/com.mbeddr.ext/build-SmInComp.xml
	build/com.mbeddr.ext/build-components.xml
	build/com.mbeddr.ext/build-statemachine.xml
	build/com.mbeddr.ext/build-units.xml
	build/com.mbeddr.tutorial/build-tests.xml
	code/languages/com.mbeddr.cc/languages/com.mbeddr.cc.var.rt/languageModels/behavior.mps
	code/languages/com.mbeddr.ext/languages/com.mbeddr.ext.components.mock/languageModels/behavior.mps
deletd obsolet file
Merge branch 'master' of github.com:mbeddr/mbeddr.core
update build scripts
Merge branch 'master' of github.com:mbeddr/mbeddr.core
added delete actions for dot expressions.
Merge branch 'master' of github.com:mbeddr/mbeddr.core
separated building and testing of tutorial
Merge branch 'master' of github.com:mbeddr/mbeddr.core
fix component tests
Merge branch 'master' of github.com:mbeddr/mbeddr.core
Merge remote-tracking branch 'remotes/origin/master' into 31_EAP

Conflicts:
	build/com.mbeddr.analyses/build-base.xml
	build/com.mbeddr.analyses/build-cbmc.xml
	build/com.mbeddr.analyses/build-ex-tests.xml
	build/com.mbeddr.analyses/build-nusmv.xml
	build/com.mbeddr.analyses/build-ts-tests.xml
	build/com.mbeddr.analyses/build-yices.xml
	build/com.mbeddr.cc/build-ex-tests.xml
	build/com.mbeddr.cc/build-ple.xml
	build/com.mbeddr.cc/build-req.xml
	build/com.mbeddr.cc/build-ts-tests.xml
	build/com.mbeddr.core/build.xml
	build/com.mbeddr.debugger.testing/debugger-testing.xml
	build/com.mbeddr.debugger.testing/debugger.testing.tests.core.xml
	build/com.mbeddr.doc/build.xml
	build/com.mbeddr.ext/build-SmInComp.xml
	build/com.mbeddr.ext/build-components.xml
	build/com.mbeddr.ext/build-ex-tests.xml
	build/com.mbeddr.ext/build-statemachine.xml
	build/com.mbeddr.ext/build-ts-tests.xml
	build/com.mbeddr.ext/build-units.xml
	build/com.mbeddr.tutorial/build-languages.xml
	build/com.mbeddr.tutorial/build-tests.xml
updated to the newest version