Annotation.cpp more user-friendly for NOTE_ALWAYS