Artifacts of viatra-maintenance-2.0 #16