game synthesis