Add firm transformation for NegateExpression

Triggered null pointer in Simon_004.