[397429] - Fix for AbstractTransformer
diff --git a/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/evaluation/tx/AbstractTransformer.java b/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/evaluation/tx/AbstractTransformer.java
index 3c96220..077d411 100644
--- a/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/evaluation/tx/AbstractTransformer.java
+++ b/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/evaluation/tx/AbstractTransformer.java
@@ -410,6 +410,8 @@
 		public void remove() {
 			prev.next = next;
 			next.prev = prev;
+			prev = this;
+			next = this;
 		}
 	}
 	
@@ -530,6 +532,8 @@
 								propertyState = new PropertyState(eObject, eFeature, ecoreValue);
 							}
 						}
+					} else {
+						propertyState = new PropertyState(eObject, eFeature, ecoreValue);
 					}
 				}
 				else {