Comparison of Implementations of Dif/2