fix VisB item for cigarette in Einstein TLA version

Einstein/Einstein_tla.json

@@ -15,7 +15,7 @@
     },
 	{
 	  "for": {"from":1, "to":5},
-      "id": "cigar%0",
+      "id": "cigarette%0",
       "attr": "text",
       "value" :"cigars(%0)"
     },

Einstein/html/Einstein.tla.html

@@ -123,11 +123,11 @@
        setAttr("pet3","text","bird");
        setAttr("pet4","text","fish");
        setAttr("pet5","text","dog");
-       setAttr("cigar1","text","dh");
-       setAttr("cigar2","text","blend");
-       setAttr("cigar3","text","pm");
-       setAttr("cigar4","text","prince");
-       setAttr("cigar5","text","bm");
+       setAttr("cigarette1","text","dh");
+       setAttr("cigarette2","text","blend");
+       setAttr("cigarette3","text","pm");
+       setAttr("cigarette4","text","prince");
+       setAttr("cigarette5","text","bm");
        setAttr("drink1","text","water");
        setAttr("drink2","text","tea");
        setAttr("drink3","text","mylk");
@@ -279,7 +279,7 @@ version="1.1"   id="svg2">
  </div>
  <button type="button" class="collapsible-style">Info</button>
 <div class="coll-content-vis">
-Generated on 22/3/2021 at 8:20 using ProB version 1.11.0-nightly
+Generated on 23/3/2021 at 9:32 using ProB version 1.11.0-nightly
 <br>Main specification file: Einstein.prob
  </table>
  </div>