Another strictness analysis wrinkle