Merge "Have RequiredXxxRule's report ASSUMPTION_FAILED" into rvc-dev