expression: a
isStable: false
smartCastType: (A & B)
