Ada backend ExprEq fix