add VISB_JSON_FILE definition

Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>

Jars/Jars.mch

@@ -8,16 +8,8 @@ Input: one 3 gallon and one 5 gallon jug, and we need to measure precisely 4 gal
 DEFINITIONS
   GOAL == (4:ran(level));
   gmax == max(ran(maxf));
-  ANIMATION_FUNCTION_DEFAULT == {r,c,i | c:Jars & r:1..gmax & i=3};
   ri == (gmax+1-r);
-  ANIMATION_FUNCTION == {r,c,i | c:Jars & ri:1..maxf(c) &
-                                 (ri<=level(c) => i=1 ) & (ri>level(c) => i=2)};
-  ANIMATION_RIGHT_CLICK(J,Fill) ==
-               ANY J2,Amount WHERE J2:Jars & Amount:1..gmax THEN
-                CHOICE EmptyJar({1|->j3,2|->j5}(J)) OR FillJar({1|->j3,2|->j5}(J)) OR
-                       Transfer(J2,Amount,{1|->j3,2|->j5}(J))
-                END
-               END;
+  VISB_JSON_FILE == "jars.json";
 SETS
  Jars = {j3,j5}
 CONSTANTS maxf