I presume it can't generate latches or other cyclic structures? One of the cells I'm missing in the standard library is the Muller C-element. While it seems you might be able to get it by abusing the 3-input majority gate, it would surely be more efficient with a direct cell.