[STYLE] fixed some style issues in AASequence.cpp