More realistic test to expose a bug in unification of polymorphic terms
More realistic test to expose a bug in unification of polymorphic terms

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition