Artifacts of viatra-examples-cps-gerrit #67