verifyContains     65 utils/abcasm/src/abcasm/Trait.java 		verifyContains("name", null);
verifyContains     85 utils/abcasm/src/abcasm/Trait.java 		verifyContains(attr_name, null);
verifyContains     91 utils/abcasm/src/abcasm/Trait.java 		verifyContains(attr_name, Integer.class);
verifyContains     97 utils/abcasm/src/abcasm/Trait.java 		verifyContains(attr_name, Name.class);