add specific test cases
dph-lifted-vseg: fix notPP_l (lifted ~not)