=========================================================
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 X1),(_internal_f [.]))}

===============================
Solution 1:
------------------
Instantiated Expressions:
  (\ X3.(var X3)) =?= (\ X3.(var X3))
Sol = {
  X1 |-> X3,
  X2 |-> X3}
Delta1  = 
  {}
Delta2 = 
  {}
Delta3 = 
  {((var X3),(_internal_f [.]))}