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

Please put a TODO here, so we don't forget about this.