am 1d0611c7: (-s ours) ART: Add miranda checking

* commit '1d0611c7e6721bd9115d652da74d2584ff3f192b':
  ART: Add miranda checking