IPropertySpecification prop = spec.getPropertySpecification("value");
assert prop != null;
assert prop.isPersistent();
assert prop.isProxyChecked();
assert !prop.canProxy();
}
public void test_Valid_Property() {
Location l = newLocation();
EnhancementOperation op = newMock(EnhancementOperation.class);