(Statements
{ (MemberAccess
  {-(Identifier)-})
->(MemberAccess
  {+(Identifier)+}) })