@@ -21,7 +21,8 @@ public CorrectStateValues() {}
     @StateRefinement(from = "door(this) == closed && lock(this) != locked", to = "door(this) == opened")
     public void open() {}
 
-    @StateRefinement(from = "door(this) == opened", to = "door(this) == closed")
+    // the set can also be applied as a method of this, or with this left out
+    @StateRefinement(from = "this.door() == opened", to = "door() == closed")
     public void close() {}
 
     // when it fails, the lock set keeps its value
@@ -30,7 +31,7 @@ public boolean tryLock() {
         return true;
     }
 
-    @StateRefinement(from = "lock(this) == locked", to = "lock(this) == unlocked")
+    @StateRefinement(from = "locked == this.lock()", to = "lock() != locked")
     public void unlock() {}
 
     // the parameter closed keeps its meaning: the door takes its value
 
@@ -21,3 +21,18 @@ class ErrorStateValuesGeneratedSetName {}
 // an unrelated set named door that has a state locked does not make locked a state of the door above
 @StateSet(name = "door", value = {"locked", "free"})
 class ErrorStateValuesOtherDoor {}
+
+// the set applied as a method of this, or with this left out, constrains the same state
+@StateSet(name = "door", value = {"shut", "ajar"})
+class ErrorStateValueForms {
+
+    @StateRefinement(to = "door() == shut")
+    public ErrorStateValueForms() {}
+
+    @StateRefinement(from = "this.door() == ajar")
+    public void close() {}
+
+    static void test() {
+        new ErrorStateValueForms().close(); // Expect: State Refinement Error
+    }
+}