=========================================================
Recognized function symbols in input:

  name                arity   strict-pos  binder-arity        
  ----                -----   -----       -----               
  \                   1       []          [1]                 

=========================================================

===============================
Input Problem:
===============================
Gamma ={
  (\ X1.(\ X2.(var X1))) =?= (\ X3.(\ X4.(var X4)))}
Delta1=  {}
Delta2=  {}
Delta3=  {((var X1),(_internal_f (\ X2.[.]))),((var X4),(_internal_f [.]))}

===============================
NO SOLUTION!