Update on help: error in safey pragmas

src/main/resources/help/avatarsafetypragmas.html

@@ -41,7 +41,7 @@
 </center>
 <h2 id="e-properties-1">E&lt;&gt; properties</h2>
 <center>
-<img src="file:../help/ctleall_small.png" />
+<img src="file:../help/ctleone_small.png" />
 </center>
 <h2 id="leads-to-properties">“Leads to” properties</h2>
 <p>“p –&gt; q” means that whenever p is encoutred in a state s, all paths starting from state s must have a state in which q is satisfied.</p>

src/main/resources/help/avatarsafetypragmas.md

@@ -43,7 +43,7 @@ means that the attribute "x" of block "Block1" is always strictly positive.
 ## E<> properties
 
 <center>
-![](file:../help/ctleall_small.png)
+![](file:../help/ctleone_small.png)
 </center>