verify
SpecsRunWithJUnitChecker
TraitValShouldBeLazy
visit
AiqVisitorHelper