simplifyBvNegationExpr