public SemanticVerifierVisitor(ActiveRecordModelCollection arCollection) { this.arCollection = arCollection; }