Solving the problem in outputing checking terms of "in set" operator not ground terms