Merge "Have RequiredXxxRule's report ASSUMPTION_FAILED" am: e0473e7c03

Change-Id: I922584ec787bd2c4786855b3a329acdf69f84a27