simplified and cleanup
rework symbex and everything
Merge remote-tracking branch 'origin/master'

Conflicts:
	core/src/main/java/edu/kit/iti/structuredtext/symbex/TestSymbex.java
	language/src/main/java/edu/kit/iti/structuredtext/symbex/SymbolicExecutionVisitor.java