disabled wrong check regarding the uniqueness of prolog vars
disabled wrong check regarding the uniqueness of prolog vars

28msec/zorba,cezarfx/zorba,cezarfx/zorba,cezarfx/zorba,28msec/zorba,bgarrels/zorba,28msec/zorba,cezarfx/zorba,cezarfx/zorba,28msec/zorba,cezarfx/zorba,28msec/zorba,bgarrels/zorba,bgarrels/zorba,28msec/zorba,cezarfx/zorba,28msec/zorba,cezarfx/zorba,bgarrels/zorba,bgarrels/zorba,bgarrels/zorba,cezarfx/zorba,bgarrels/zorba,bgarrels/zorba,28msec/zorba,cezarfx/zorba,28msec/zorba