docs(#1): slightly improve the XML doucment of TheoremAttribute.
test(#1): address scenario test for #1.
chore(#1): resolve some code analysis warnings.