removed unused code about extensional equivalences