Test code for  refine-used-pointcut-sub-super-pointcut, paper 3.1.1 assumption 6