Reverted 'simplify NOT' since there are problems related to signedness of numeric values.