Update Quiz

Author: rcosta358

docs/index.html

@@ -101,10 +101,10 @@ <h1>LiquidJava Quiz</h1>
 <li>
 <p>In LiquidJava, to specify that a method should only be called when in the <code>open</code> state, we should use:</p>
 <ul class="radio-list">
-<li><label><input type="radio" data-question="1" data-content="0" /> <code>@StateRefinement("state == 'open'")</code></label></li>
+<li><label><input type="radio" data-question="1" data-content="0" /> <code>@StateRefinement("state == 'open(this)'")</code></label></li>
 <li><label><input type="radio" data-question="1" data-content="0" /> <code>@Refinement("state == 'open'")</code></label></li>
 <li><label><input type="radio" data-question="0" data-content="1" /> <code>@StateRefinement(from="open(this)")</code></label></li>
-<li><label><input type="radio" data-question="1" data-content="0" /> <code>@State("open")</code></label></li>
+<li><label><input type="radio" data-question="1" data-content="0" /> <code>@Refinement(state="open")</code></label></li>
 </ul>
 </li>
 <li>
@@ -130,16 +130,16 @@ <h1>LiquidJava Quiz</h1>
 <ul class="radio-list">
 <li><label><input type="radio" data-question="1" data-content="0" /> Store temporary data during the program execution</label></li>
 <li><label><input type="radio" data-question="0" data-content="1" /> Model abstract properties of objects for verification purposes</label></li>
-<li><label><input type="radio" data-question="1" data-content="0" /> To track memory usage</label></li>
-<li><label><input type="radio" data-question="1" data-content="0" /> To replace regular variables for better performance</label></li>
+<li><label><input type="radio" data-question="1" data-content="0" /> Track memory usage of the program</label></li>
+<li><label><input type="radio" data-question="1" data-content="0" /> Replace regular variables for better performance</label></li>
 </ul>
 </li>
 <li>
 <p>In LiquidJava, which of the following refinements updates the ghost variable <code>size</code>?</p>
 <ul class="radio-list">
-<li><label><input type="radio" data-question="1" data-content="0" /> <code>@Refinement("size(this) = 0")</code></label></li>
-<li><label><input type="radio" data-question="1" data-content="0" /> <code>@StateRefinement(to="size(this) == size(old(this))")</code></label></li>
-<li><label><input type="radio" data-question="1" data-content="0" /> <code>@Refinement("size(this)++")</code></label></li>
+<li><label><input type="radio" data-question="1" data-content="0" /> <code>@Refinement("size = 0")</code></label></li>
+<li><label><input type="radio" data-question="1" data-content="0" /> <code>@StateRefinement(from="size(this) > 0")</code></label></li>
+<li><label><input type="radio" data-question="1" data-content="0" /> <code>@Refinement("size++")</code></label></li>
 <li><label><input type="radio" data-question="0" data-content="1" /> <code>@StateRefinement(to="size(this) == size(old(this)) + 1")</code></label></li>
 </ul>
 </li>