add ctfe AA tests