Anfonwch hwn fel neges destun: Game semantics based equivalence checking of higher-order programs