sync with 22-Nov official version
drop aaliou3lem8 (redundant with expnbnd), add one more step to clear hypotheses