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