autoprov-multi-rules