Add On and Extend checking to CheckASTVisitor.