Token: Added flag for attribute noreturn (#6328)