let is_equal p x y =
  if Term.is_var x && Term.is_var y then
    V.is_equal p.v x y
  else 
    None