Fixed Expr := NOT Expr in Ada backend
Test Case for Expr := Not Expr