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

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

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

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

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