Fixed a bug in the elimination of UIF/ADTs
Porting orb to recent version of leon