Program Semantic Inequivalence Game with Large Language Models