DIFFER : VARIABLE : var1 : POSITION : [1] : VALUES : A <> B
DIFFER : VARIABLE : var2 : POSITION : [0,1] : VALUES : A <> B
DIFFER : VARIABLE : var2 : POSITION : [1,0] : VALUES : A <> C
DIFFER : VARIABLE : var2 : POSITION : [1,1] : VALUES : A <> D
DIFFER : VARIABLE : var3 : POSITION : [0,1] : VALUES : A <> B
DIFFER : VARIABLE : var3 : POSITION : [1,0] : VALUES : A <> C
DIFFER : VARIABLE : var3 : POSITION : [1,1] : VALUES : A <> D
