naive

Creates naive unification strategy, with the given context, that checks Terms identity through their Term.equals methods, except in the case of numbers which are compared by value

Creates naive, empty unification strategy, that checks Terms identity through their Term.equals methods, except in the case of numbers which are compared by value