am 4a2f814e: Merge "ART: Expression evaluation in Checker"

* commit '4a2f814eecb6d96f6ac97e6dc7a3d64dae4226f5':
  ART: Expression evaluation in Checker