Checking of norm op in CheckASTVisitor.