fixed the 'build languages' build
fixed the build error "Model com.mbeddr.mpsutil.editor.querylist.actions uses language com.mbeddr.mpsutil.editor.querylist which is missing (likely is not yet generated or is a bootstrap dependency) No concept found for name com.mbeddr.mpsutil.editor.querylist.structure.Function_GetElements" by using light quotations
added lantest to the mpsutil build
improved lifting of state machines counterexamples
Merge remote-tracking branch 'origin/master'
added tests.analyses.base to the tests build
Merge branch 'master' into markusCommentingChanges