أرسل هذا في رسالة قصيرة: Game semantics based equivalence checking of higher-order programs