y : Set ;
def x : Set = y ;