C#: Add some more properties test examples and update expected test output.

Author: michaelnebel

csharp/ql/test/library-tests/properties/PrintAst.expected

@@ -246,3 +246,69 @@ properties.cs:
 #  133|               0: [FieldAccess] access to field Prop.field
 #  133|               1: [ParameterAccess] access to parameter value
 #  130|     7: [Field] Prop.field
+#  137|   11: [Class] BaseClass
+#  139|     6: [Property] Value
+#  139|       -1: [TypeMention] int
+#  141|       3: [Getter] get_Value
+#  141|         4: [BlockStmt] {...}
+#  141|           0: [ReturnStmt] return ...;
+#  141|             0: [FieldAccess] access to field Value.field
+#  142|       4: [Setter] set_Value
+#-----|         2: (Parameters)
+#  142|           0: [Parameter] value
+#  142|         4: [BlockStmt] {...}
+#  142|           0: [ExprStmt] ...;
+#  142|             0: [AssignExpr] ... = ...
+#  142|               0: [FieldAccess] access to field Value.field
+#  142|               1: [ParameterAccess] access to parameter value
+#  139|     7: [Field] Value.field
+#  146|   12: [Class] DerivedClass1
+#-----|     3: (Base types)
+#  146|       0: [TypeMention] BaseClass
+#  148|     6: [Property] Value
+#  148|       -1: [TypeMention] int
+#  150|       3: [Getter] get_Value
+#  150|         4: [BlockStmt] {...}
+#  150|           0: [ReturnStmt] return ...;
+#  150|             0: [IntLiteral] 20
+#  154|   13: [Class] DerivedClass2
+#-----|     3: (Base types)
+#  154|       0: [TypeMention] BaseClass
+#  155|   14: [Class] Test2
+#  157|     6: [Method] M
+#  157|       -1: [TypeMention] Void
+#  158|       4: [BlockStmt] {...}
+#  159|         0: [LocalVariableDeclStmt] ... ...;
+#  159|           0: [LocalVariableDeclAndInitExpr] DerivedClass1 d1 = ...
+#  159|             -1: [TypeMention] DerivedClass1
+#  159|             0: [LocalVariableAccess] access to local variable d1
+#  159|             1: [ObjectCreation] object creation of type DerivedClass1
+#  159|               0: [TypeMention] DerivedClass1
+#  160|         1: [ExprStmt] ...;
+#  160|           0: [AssignExpr] ... = ...
+#  160|             0: [PropertyCall] access to property Value
+#  160|               -1: [LocalVariableAccess] access to local variable d1
+#  160|             1: [IntLiteral] 11
+#  161|         2: [LocalVariableDeclStmt] ... ...;
+#  161|           0: [LocalVariableDeclAndInitExpr] Int32 test1 = ...
+#  161|             -1: [TypeMention] int
+#  161|             0: [LocalVariableAccess] access to local variable test1
+#  161|             1: [PropertyCall] access to property Value
+#  161|               -1: [LocalVariableAccess] access to local variable d1
+#  163|         3: [LocalVariableDeclStmt] ... ...;
+#  163|           0: [LocalVariableDeclAndInitExpr] DerivedClass2 d2 = ...
+#  163|             -1: [TypeMention] DerivedClass2
+#  163|             0: [LocalVariableAccess] access to local variable d2
+#  163|             1: [ObjectCreation] object creation of type DerivedClass2
+#  163|               0: [TypeMention] DerivedClass2
+#  164|         4: [ExprStmt] ...;
+#  164|           0: [AssignExpr] ... = ...
+#  164|             0: [PropertyCall] access to property Value
+#  164|               -1: [LocalVariableAccess] access to local variable d2
+#  164|             1: [IntLiteral] 12
+#  165|         5: [LocalVariableDeclStmt] ... ...;
+#  165|           0: [LocalVariableDeclAndInitExpr] Int32 test2 = ...
+#  165|             -1: [TypeMention] int
+#  165|             0: [LocalVariableAccess] access to local variable test2
+#  165|             1: [PropertyCall] access to property Value
+#  165|               -1: [LocalVariableAccess] access to local variable d2

csharp/ql/test/library-tests/properties/Properties17.expected

@@ -1,4 +1,5 @@
 | Prop.field |
+| Value.field |
 | caption |
 | next |
 | y |

csharp/ql/test/library-tests/properties/properties.cs

@@ -133,4 +133,36 @@ public object Prop
             set { field = value; }
         }
     }
+
+    public class BaseClass
+    {
+        public virtual int Value
+        {
+            get { return field; }
+            set { field = value; }
+        }
+    }
+
+    public class DerivedClass1 : BaseClass
+    {
+        public override int Value
+        {
+            get { return 20; }
+        }
+    }
+
+    public class DerivedClass2 : BaseClass { }
+    public class Test2
+    {
+        public void M()
+        {
+            var d1 = new DerivedClass1();
+            d1.Value = 11;
+            var test1 = d1.Value;
+
+            var d2 = new DerivedClass2();
+            d2.Value = 12;
+            var test2 = d2.Value;
+        }
+    }
 }