semantic: Wire up AA in expressions.