varlist = self.visit(ast,decl,param)    # This is a list of ast::varlist
        def check(vardec1,vardec2):
            if (vardec1.variable==vardec2.variable):
                raise ("Trung ten")

        for i in varlist:
            for j in varlist:
                if i!=j:
                    check(i,j)