am ba31c3c4: Merge "ART: New types of Checker assertions"

* commit 'ba31c3c400cfc59bfe284701763ef96c8810aa14':
  ART: New types of Checker assertions