def cvars(occs): 
    """
    Return a single representative occurrence for each variable.  
    """
    names = []
    canonicals = [] 
    for occ in occs: 
        if occ.name in names:
            continue 
        canonicals.append(occ)
    return canonicals