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