$? check for eta_subterms in garbage
D x a
C x (y. y , x a)

$! garbage may be `dangerous`
D x @
C @ (y. y, x @, x @)