Yes, currently userAttribDecl is not used in semantic2 phase, because each symbols uses its s->userAttribDecl. This is just for consistency with `semantic` function.