Feeble attempt at optimizing AddToKnownDesigns.