Added missing case for ADT
Fixed case adt_less_adt and adt_lessequal_adt