Added NOT to some generated annotations