dedukti-1.0.0: t/bug.eu

nat : Type.

x : nat.

y : x.