fix equivalence of ast