Bogus definitions of alpha equivalence
Alpha equivalence trough conversion to a De Bruijn variant