Added Case To Handle Distribution Of Inversion Across Negation
Added Case To Handle Distribution Of Inversion Across Negation

jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie