Artifacts of viatra-examples-cps #838