diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/diagnostics/Errors.java b/compiler/frontend/src/org/jetbrains/jet/lang/diagnostics/Errors.java
index d5abd98d3af..f1bdceb1172 100644
--- a/compiler/frontend/src/org/jetbrains/jet/lang/diagnostics/Errors.java
+++ b/compiler/frontend/src/org/jetbrains/jet/lang/diagnostics/Errors.java
@@ -122,6 +122,7 @@ public interface Errors {
     
     DiagnosticWithParameterFactory<JetNamedDeclaration, JetClass> NON_FINAL_MEMBER_IN_FINAL_CLASS = DiagnosticWithParameterFactory.create(ERROR, "Non final member in a final class", DiagnosticParameters.CLASS);
     DiagnosticWithParameterFactory<JetPropertyAccessor, JetProperty> NON_FINAL_ACCESSOR_OF_FINAL_PROPERTY = DiagnosticWithParameterFactory.create(ERROR, "Non final accessor of a final property", DiagnosticParameters.PROPERTY);
+    DiagnosticWithParameterFactory<JetPropertyAccessor, JetProperty> ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY = DiagnosticWithParameterFactory.create(ERROR, "Abstract accessor of a non abstract property", DiagnosticParameters.PROPERTY);
 
     SimpleDiagnosticFactory PROJECTION_ON_NON_CLASS_TYPE_ARGUMENT = SimpleDiagnosticFactory.create(ERROR, "Projections are not allowed on type arguments of functions and properties"); // TODO : better positioning
     SimpleDiagnosticFactory SUPERTYPE_NOT_INITIALIZED = SimpleDiagnosticFactory.create(ERROR, "This type has a constructor, and thus must be initialized here");
diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/resolve/DeclarationsChecker.java b/compiler/frontend/src/org/jetbrains/jet/lang/resolve/DeclarationsChecker.java
index 844c7d62671..5e6a291fe84 100644
--- a/compiler/frontend/src/org/jetbrains/jet/lang/resolve/DeclarationsChecker.java
+++ b/compiler/frontend/src/org/jetbrains/jet/lang/resolve/DeclarationsChecker.java
@@ -128,7 +128,7 @@ public class DeclarationsChecker {
             }
         }    
 
-    protected void checkProperty(JetProperty property, PropertyDescriptor propertyDescriptor) {
+    private void checkProperty(JetProperty property, PropertyDescriptor propertyDescriptor) {
         DeclarationDescriptor containingDeclaration = propertyDescriptor.getContainingDeclaration();
         ClassDescriptor classDescriptor = (containingDeclaration instanceof ClassDescriptor)
                                           ? (ClassDescriptor) containingDeclaration
@@ -287,6 +287,10 @@ public class DeclarationsChecker {
                 ASTNode openModifierNode = accessor.getModifierList().getModifierNode(JetTokens.OPEN_KEYWORD);
                 context.getTrace().report(NON_FINAL_ACCESSOR_OF_FINAL_PROPERTY.on(accessor, openModifierNode, property));
             }
+            if (propertyDescriptor.getModality() != Modality.ABSTRACT && accessor.hasModifier(JetTokens.ABSTRACT_KEYWORD)) {
+                ASTNode abstractModifierNode = accessor.getModifierList().getModifierNode(JetTokens.ABSTRACT_KEYWORD);
+                context.getTrace().report(ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY.on(accessor, abstractModifierNode, property));
+            }
         }
     }
 
diff --git a/idea/src/org/jetbrains/jet/plugin/quickfix/QuickFixes.java b/idea/src/org/jetbrains/jet/plugin/quickfix/QuickFixes.java
index dc1bd99e2cc..c67c49bd977 100644
--- a/idea/src/org/jetbrains/jet/plugin/quickfix/QuickFixes.java
+++ b/idea/src/org/jetbrains/jet/plugin/quickfix/QuickFixes.java
@@ -102,6 +102,9 @@ public class QuickFixes {
         add(Errors.NON_FINAL_MEMBER_IN_FINAL_CLASS, removeOpenModifierFactory);
         add(Errors.NON_FINAL_ACCESSOR_OF_FINAL_PROPERTY, QuickFixUtil.createFactoryRedirectingAdditionalInfoToAnotherFactory(addOpenModifierFactory, DiagnosticParameters.PROPERTY));
         add(Errors.NON_FINAL_ACCESSOR_OF_FINAL_PROPERTY, removeOpenModifierFactory);
+
+        add(Errors.ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY, QuickFixUtil.createFactoryRedirectingAdditionalInfoToAnotherFactory(addAbstractModifierFactory, DiagnosticParameters.PROPERTY));
+        add(Errors.ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY, removeAbstractModifierFactory);
     }
 }
 
diff --git a/idea/testData/checker/Abstract.jet b/idea/testData/checker/Abstract.jet
index a004d179a5e..ca35e2bac53 100644
--- a/idea/testData/checker/Abstract.jet
+++ b/idea/testData/checker/Abstract.jet
@@ -27,21 +27,6 @@ class MyClass() {
     fun g() {}
     <error>abstract</error> fun h()
     <error><error>abstract</error></error> fun j() {}
-
-    //property accessors
-    var i: Int                       <error>abstract</error> get  <error>abstract</error> set
-    var i1: Int = <error>0</error>;  <error>abstract</error> get  <error>abstract</error> set
-
-    var j: Int                       get() = i;    <error>abstract</error> set
-    var j1: Int = <error>0</error>;  get() = i;    <error>abstract</error> set
-
-    var <error>k</error>: Int        <error>abstract</error> set
-    var k1: Int = 0;                 <error>abstract</error> set
-
-    var l: Int                       <error>abstract</error> get  <error>abstract</error> set
-    var l1: Int = <error>0</error>;  <error>abstract</error> get  <error>abstract</error> set
-
-    var n: Int                       <error>abstract</error> get <error>abstract</error> set(v: Int) {}
 }
 
 abstract class MyAbstractClass() {
@@ -71,21 +56,6 @@ abstract class MyAbstractClass() {
     fun g() {}
     abstract fun h()
     <error>abstract</error> fun j() {}
-
-    //property accessors
-    var i: Int                       abstract get  abstract set
-    var i1: Int = <error>0</error>;  abstract get  abstract set
-
-    var j: Int                       get() = i;    abstract set
-    var j1: Int                      get() = i;    abstract set
-
-    var <error>k</error>: Int        abstract set
-    var k1: Int = 0;                 abstract set
-
-    var l: Int                       abstract get  abstract set
-    var l1: Int = <error>0</error>;  abstract get  abstract set
-
-    var n: Int                       abstract get <error>abstract</error> set(v: Int) {}
 }
 
 trait MyTrait {
@@ -115,21 +85,6 @@ trait MyTrait {
     fun g() {}
     <warning>abstract</warning> fun h()
     <error>abstract</error> fun j() {}
-
-    //property accessors
-    var i: Int                       abstract get  abstract set
-    var i1: Int = <error>0</error>;  abstract get  abstract set
-
-    var j: Int                       get() = i;    abstract set
-    var j1: Int = <error>0</error>;  get() = i;    abstract set
-
-    var k: Int                       abstract set
-    var k1: Int = <error>0</error>;  abstract set
-
-    var l: Int                       abstract get  abstract set
-    var l1: Int = <error>0</error>;  abstract get  abstract set
-
-    var n: Int                       abstract get <error>abstract</error> set(v: Int) {}
 }
 
 enum class MyEnum() {
@@ -159,21 +114,6 @@ enum class MyEnum() {
     fun g() {}
     abstract fun h()
     <error>abstract</error> fun j() {}
-
-    //property accessors
-    var i: Int                       abstract get  abstract set
-    var i1: Int = <error>0</error>;  abstract get  abstract set
-
-    var j: Int                       get() = i;    abstract set
-    var j1: Int = <error>0</error>;  get() = i;    abstract set
-
-    var <error>k</error>: Int        abstract set
-    var k1: Int = 0;                 abstract set
-
-    var l: Int                       abstract get  abstract set
-    var l1: Int = <error>0</error>;   abstract get  abstract set
-
-    var n: Int                       abstract get <error>abstract</error> set(v: Int) {}
 }
 
 abstract enum class MyAbstractEnum() {}
@@ -205,21 +145,6 @@ namespace MyNamespace {
     fun g() {}
     <error>abstract</error> fun h()
     <error>abstract</error> fun j() {}
-
-    //property accessors
-    var i: Int                       <error>abstract</error> get  <error>abstract</error> set
-    var i1: Int = <error>0</error>;  <error>abstract</error> get  <error>abstract</error> set
-
-    var j: Int                       get() = i;    <error>abstract</error> set
-    var j1: Int = <error>0</error>;  get() = i;    <error>abstract</error> set
-
-    var <error>k</error>: Int        <error>abstract</error> set
-    var k1: Int = 0;                 <error>abstract</error> set
-
-    var l: Int                       <error>abstract</error> get  <error>abstract</error> set
-    var l1: Int = <error>0</error>;  <error>abstract</error> get  <error>abstract</error> set
-
-    var n: Int                       <error>abstract</error> get <error>abstract</error> set(v: Int) {}
 }
 
 //creating an instance
diff --git a/idea/testData/checker/infos/PropertiesWithBackingFields.jet b/idea/testData/checker/infos/PropertiesWithBackingFields.jet
index 87409d71292..294ea276524 100644
--- a/idea/testData/checker/infos/PropertiesWithBackingFields.jet
+++ b/idea/testData/checker/infos/PropertiesWithBackingFields.jet
@@ -35,10 +35,10 @@
     var <error>v5</error> : Int <info>get</info>() = 1; <info>set</info>(x){$v5 = x}
     var <error>v6</error> : Int <info>get</info>() = $v6 + 1; <info>set</info>(x){}
 
-  val v7 : Int <info>abstract</info> <info>get</info>
-  var v8 : Int <info>abstract</info> <info>get</info> <info>abstract</info> <info>set</info>
-  var <error>v9</error> : Int <info>abstract</info> <info>set</info>
-  var <error>v10</error> : Int <info>abstract</info> <info>get</info>
+  <info>abstract</info> val v7 : Int <info>abstract</info> <info>get</info>
+  <info>abstract</info> var v8 : Int <info>abstract</info> <info>get</info> <info>abstract</info> <info>set</info>
+  var <error>v9</error> : Int <info>set</info>
+  var <error>v10</error> : Int <info>get</info>
 
 }
 
diff --git a/idea/testData/checker/regression/Jet67.jet b/idea/testData/checker/regression/Jet67.jet
index 49a449094ec..7c2248a5f6a 100644
--- a/idea/testData/checker/regression/Jet67.jet
+++ b/idea/testData/checker/regression/Jet67.jet
@@ -1,4 +1,4 @@
 abstract class XXX {
-  val a : Int abstract get
+  abstract val a : Int abstract get
 
 }
diff --git a/idea/testData/checkerWithErrorTypes/full/Abstract.jet b/idea/testData/checkerWithErrorTypes/full/Abstract.jet
index 113ff0a34d6..1d3420ce16d 100644
--- a/idea/testData/checkerWithErrorTypes/full/Abstract.jet
+++ b/idea/testData/checkerWithErrorTypes/full/Abstract.jet
@@ -29,19 +29,19 @@ class MyClass() {
     <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS, ABSTRACT_FUNCTION_WITH_BODY!>abstract<!> fun j() {}
 
     //property accessors
-    var i: Int                       <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS!>abstract<!> get  <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS!>abstract<!> set
-    var i1: Int = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>0<!>;  <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS!>abstract<!> get  <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS!>abstract<!> set
+    var i: Int                       <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> get  <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
+    var i1: Int = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>0<!>;  <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> get  <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
 
-    var j: Int                       get() = i;    <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS!>abstract<!> set
-    var j1: Int = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>0<!>;  get() = i;    <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS!>abstract<!> set
+    var j: Int                       get() = i;    <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
+    var j1: Int = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>0<!>;  get() = i;    <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
 
-    var <!MUST_BE_INITIALIZED_OR_BE_ABSTRACT!>k<!>: Int        <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS!>abstract<!> set
-    var k1: Int = 0;                 <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS!>abstract<!> set
+    var <!MUST_BE_INITIALIZED_OR_BE_ABSTRACT!>k<!>: Int        <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
+    var k1: Int = 0;                 <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
 
-    var l: Int                       <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS!>abstract<!> get  <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS!>abstract<!> set
-    var l1: Int = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>0<!>;  <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS!>abstract<!> get  <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS!>abstract<!> set
+    var l: Int                       <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> get  <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
+    var l1: Int = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>0<!>;  <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> get  <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
 
-    var n: Int                       <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS!>abstract<!> get <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS, ABSTRACT_FUNCTION_WITH_BODY!>abstract<!> set(v: Int) {}
+    var n: Int                       <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> get <!ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS, ABSTRACT_FUNCTION_WITH_BODY, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set(v: Int) {}
 }
 
 abstract class MyAbstractClass() {
@@ -73,19 +73,19 @@ abstract class MyAbstractClass() {
     <!ABSTRACT_FUNCTION_WITH_BODY!>abstract<!> fun j() {}
 
     //property accessors
-    var i: Int                       abstract get  abstract set
-    var i1: Int = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>0<!>;  abstract get  abstract set
+    var i: Int                       <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> get  <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
+    var i1: Int = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>0<!>;  <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> get  <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
 
-    var j: Int                       get() = i;    abstract set
-    var j1: Int                      get() = i;    abstract set
+    var j: Int                       get() = i;    <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
+    var j1: Int                      get() = i;    <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
 
-    var <!MUST_BE_INITIALIZED_OR_BE_ABSTRACT!>k<!>: Int        abstract set
-    var k1: Int = 0;                 abstract set
+    var <!MUST_BE_INITIALIZED_OR_BE_ABSTRACT!>k<!>: Int        <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
+    var k1: Int = 0;                 <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
 
-    var l: Int                       abstract get  abstract set
-    var l1: Int = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>0<!>;  abstract get  abstract set
+    var l: Int                       <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> get  <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
+    var l1: Int = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>0<!>;  <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> get  <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
 
-    var n: Int                       abstract get <!ABSTRACT_FUNCTION_WITH_BODY!>abstract<!> set(v: Int) {}
+    var n: Int                       <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> get <!ABSTRACT_FUNCTION_WITH_BODY, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set(v: Int) {}
 }
 
 trait MyTrait {
@@ -118,18 +118,18 @@ trait MyTrait {
 
     //property accessors
     var i: Int                       abstract get  abstract set
-    var i1: Int = <!PROPERTY_INITIALIZER_IN_TRAIT!>0<!>;  abstract get  abstract set
+    var i1: Int = <!PROPERTY_INITIALIZER_IN_TRAIT!>0<!>;  <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> get  <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
 
-    var j: Int                       get() = i;    abstract set
-    var j1: Int = <!PROPERTY_INITIALIZER_IN_TRAIT!>0<!>;  get() = i;    abstract set
+    var j: Int                       get() = i;    <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
+    var j1: Int = <!PROPERTY_INITIALIZER_IN_TRAIT!>0<!>;  get() = i;    <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
 
     var k: Int                       abstract set
-    var k1: Int = <!PROPERTY_INITIALIZER_IN_TRAIT!>0<!>;  abstract set
+    var k1: Int = <!PROPERTY_INITIALIZER_IN_TRAIT!>0<!>;  <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
 
     var l: Int                       abstract get  abstract set
-    var l1: Int = <!PROPERTY_INITIALIZER_IN_TRAIT!>0<!>;  abstract get  abstract set
+    var l1: Int = <!PROPERTY_INITIALIZER_IN_TRAIT!>0<!>;  <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> get  <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
 
-    var n: Int                       abstract get <!ABSTRACT_FUNCTION_WITH_BODY!>abstract<!> set(v: Int) {}
+    var n: Int                       <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> get <!ABSTRACT_FUNCTION_WITH_BODY, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set(v: Int) {}
 }
 
 enum class MyEnum() {
@@ -161,19 +161,19 @@ enum class MyEnum() {
     <!ABSTRACT_FUNCTION_WITH_BODY!>abstract<!> fun j() {}
 
     //property accessors
-    var i: Int                       abstract get  abstract set
-    var i1: Int = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>0<!>;  abstract get  abstract set
+    var i: Int                       <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> get  <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
+    var i1: Int = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>0<!>;  <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> get  <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
 
-    var j: Int                       get() = i;    abstract set
-    var j1: Int = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>0<!>;  get() = i;    abstract set
+    var j: Int                       get() = i;    <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
+    var j1: Int = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>0<!>;  get() = i;    <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
 
-    var <!MUST_BE_INITIALIZED_OR_BE_ABSTRACT!>k<!>: Int        abstract set
-    var k1: Int = 0;                 abstract set
+    var <!MUST_BE_INITIALIZED_OR_BE_ABSTRACT!>k<!>: Int        <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
+    var k1: Int = 0;                 <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
 
-    var l: Int                       abstract get  abstract set
-    var l1: Int = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>0<!>;   abstract get  abstract set
+    var l: Int                       <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> get  <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
+    var l1: Int = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>0<!>;   <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> get  <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
 
-    var n: Int                       abstract get <!ABSTRACT_FUNCTION_WITH_BODY!>abstract<!> set(v: Int) {}
+    var n: Int                       <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> get <!ABSTRACT_FUNCTION_WITH_BODY, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set(v: Int) {}
 }
 
 abstract enum class MyAbstractEnum() {}
@@ -207,19 +207,19 @@ namespace MyNamespace {
     <!NON_MEMBER_ABSTRACT_FUNCTION!>abstract<!> fun j() {}
 
     //property accessors
-    var i: Int                       <!NON_MEMBER_ABSTRACT_ACCESSOR!>abstract<!> get  <!NON_MEMBER_ABSTRACT_ACCESSOR!>abstract<!> set
-    var i1: Int = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>0<!>;  <!NON_MEMBER_ABSTRACT_ACCESSOR!>abstract<!> get  <!NON_MEMBER_ABSTRACT_ACCESSOR!>abstract<!> set
+    var i: Int                       <!NON_MEMBER_ABSTRACT_ACCESSOR, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> get  <!NON_MEMBER_ABSTRACT_ACCESSOR, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
+    var i1: Int = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>0<!>;  <!NON_MEMBER_ABSTRACT_ACCESSOR, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> get  <!NON_MEMBER_ABSTRACT_ACCESSOR, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
 
-    var j: Int                       get() = i;    <!NON_MEMBER_ABSTRACT_ACCESSOR!>abstract<!> set
-    var j1: Int = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>0<!>;  get() = i;    <!NON_MEMBER_ABSTRACT_ACCESSOR!>abstract<!> set
+    var j: Int                       get() = i;    <!NON_MEMBER_ABSTRACT_ACCESSOR, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
+    var j1: Int = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>0<!>;  get() = i;    <!NON_MEMBER_ABSTRACT_ACCESSOR, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
 
-    var <!MUST_BE_INITIALIZED!>k<!>: Int        <!NON_MEMBER_ABSTRACT_ACCESSOR!>abstract<!> set
-    var k1: Int = 0;                 <!NON_MEMBER_ABSTRACT_ACCESSOR!>abstract<!> set
+    var <!MUST_BE_INITIALIZED!>k<!>: Int        <!NON_MEMBER_ABSTRACT_ACCESSOR, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
+    var k1: Int = 0;                 <!NON_MEMBER_ABSTRACT_ACCESSOR, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
 
-    var l: Int                       <!NON_MEMBER_ABSTRACT_ACCESSOR!>abstract<!> get  <!NON_MEMBER_ABSTRACT_ACCESSOR!>abstract<!> set
-    var l1: Int = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>0<!>;  <!NON_MEMBER_ABSTRACT_ACCESSOR!>abstract<!> get  <!NON_MEMBER_ABSTRACT_ACCESSOR!>abstract<!> set
+    var l: Int                       <!NON_MEMBER_ABSTRACT_ACCESSOR, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> get  <!NON_MEMBER_ABSTRACT_ACCESSOR, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
+    var l1: Int = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>0<!>;  <!NON_MEMBER_ABSTRACT_ACCESSOR, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> get  <!NON_MEMBER_ABSTRACT_ACCESSOR, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
 
-    var n: Int                       <!NON_MEMBER_ABSTRACT_ACCESSOR!>abstract<!> get <!NON_MEMBER_ABSTRACT_ACCESSOR!>abstract<!> set(v: Int) {}
+    var n: Int                       <!NON_MEMBER_ABSTRACT_ACCESSOR, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> get <!NON_MEMBER_ABSTRACT_ACCESSOR, ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set(v: Int) {}
 }
 
 //creating an instance
diff --git a/idea/testData/checkerWithErrorTypes/full/IllegalModifiers.jet b/idea/testData/checkerWithErrorTypes/full/IllegalModifiers.jet
index d719075de4b..9feae3696e1 100644
--- a/idea/testData/checkerWithErrorTypes/full/IllegalModifiers.jet
+++ b/idea/testData/checkerWithErrorTypes/full/IllegalModifiers.jet
@@ -4,6 +4,10 @@ abstract class A() {
     <!INCOMPATIBLE_MODIFIERS!>abstract<!> <!INCOMPATIBLE_MODIFIERS!>final<!> fun f()
     abstract <!REDUNDANT_MODIFIER!>open<!> fun g()
     <!INCOMPATIBLE_MODIFIERS!>final<!> <!INCOMPATIBLE_MODIFIERS!>open<!> fun h() {}
+
+    open var <!MUST_BE_INITIALIZED_OR_BE_ABSTRACT!>r<!>: String
+    get
+    <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> protected set
 }
 
 <!TRAIT_CAN_NOT_BE_FINAL!>final<!> trait T {}
@@ -14,4 +18,4 @@ class FinalClass() {
         <!NON_FINAL_ACCESSOR_OF_FINAL_PROPERTY!>open<!> get(): Int = $i
     var j: Int = 1
         <!NON_FINAL_ACCESSOR_OF_FINAL_PROPERTY!>open<!> set(v: Int) {}
-}
+}
\ No newline at end of file
diff --git a/idea/testData/checkerWithErrorTypes/full/infos/PropertiesWithBackingFields.jet b/idea/testData/checkerWithErrorTypes/full/infos/PropertiesWithBackingFields.jet
index cd4a142b85a..3f417b56418 100644
--- a/idea/testData/checkerWithErrorTypes/full/infos/PropertiesWithBackingFields.jet
+++ b/idea/testData/checkerWithErrorTypes/full/infos/PropertiesWithBackingFields.jet
@@ -35,10 +35,10 @@ abstract class Test() {
     var <!MUST_BE_INITIALIZED!>v5<!> : Int get() = 1; set(x){$v5 = x}
     var <!MUST_BE_INITIALIZED!>v6<!> : Int get() = $v6 + 1; set(x){}
 
-  val v7 : Int abstract get
-  var v8 : Int abstract get abstract set
-  var <!MUST_BE_INITIALIZED_OR_BE_ABSTRACT!>v9<!> : Int abstract set
-  var <!MUST_BE_INITIALIZED_OR_BE_ABSTRACT!>v10<!> : Int abstract get
+  abstract val v7 : Int abstract get
+  abstract var v8 : Int abstract get abstract set
+  var <!MUST_BE_INITIALIZED_OR_BE_ABSTRACT!>v9<!> : Int <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> set
+  var <!MUST_BE_INITIALIZED_OR_BE_ABSTRACT!>v10<!> : Int <!ABSTRACT_ACCESSOR_OF_NON_ABSTRACT_PROPERTY!>abstract<!> get
 
 }
 
diff --git a/idea/testData/checkerWithErrorTypes/full/regression/Jet67.jet b/idea/testData/checkerWithErrorTypes/full/regression/Jet67.jet
index 49a449094ec..7c2248a5f6a 100644
--- a/idea/testData/checkerWithErrorTypes/full/regression/Jet67.jet
+++ b/idea/testData/checkerWithErrorTypes/full/regression/Jet67.jet
@@ -1,4 +1,4 @@
 abstract class XXX {
-  val a : Int abstract get
+  abstract val a : Int abstract get
 
 }