changed the way the conversions compute the height of abtractions to increase efficiency