unimportant
semicolon
docker container voglerr/goblint
be more assertive!
server integration + flipped IsPrivate query
fixes for update_suite.rb
promela: ltl claims and running constraints for priority scheduling