Update mutation to handle mutation of NOT operator