Local[name: a; isMutated: false; displayText: a]
    a: R|A|
    R|A|
