Add test case for P2(x, a)