Added test for generation of 'psubset' operator
Added generation of 'psubset' binary operator