undef binary-OP defined-value  ->  defined-value
    NULL binary-OP not-NULL        ->  NULL