fixed alpha equivalence code