Merge "ART: Immutable `variables` dictionary in Checker"