pruneAltsR; letElimTrivialR, betaReduceTrivialR
oneOccT; pruneAltsBind Rec