dev: add some scenario tests for FirstClassTheoremAttribute.