crushed optimizer-revealed bug