Invalid negation in the atomic statement processor