PROBCORE-552: Allow to get a (magic) trace to a valid state satisfying a predicate
PROBCORE-550 add getter for guards of classical b operation
PROBCORE-551: Add missing preconditions in PRE … THEN. Only select was imported to the internal representation.
PROBCORE-554 Making the Evaluation Results more accessible.
PROBCORE-552 Fixed implementation
PROBCORE-548 Constants are now shown in StateInspector
PROBCORE-550 Let Groovy create accessor methods.
PROBCORE-550 Split guard predicate at conjunction.
added bootstrap / sass
some work on ui components
newer version of UI sync
Merge remote-tracking branch 'origin/develop' into feature/ui2
ignore
Merge branch 'develop' into feature/ui2

Conflicts:
	.gitignore