expression: super
type: (A&B)
