Narrow down generation issue to Numeric AtomicMul