Agda-2.3.2.2: src/core/Thierry/test4

y : Set ;
def x : Set = y ;