(Program
  (If
    { (Identifier) -> (MemberAccess (Identifier) (Identifier)) }
    (ExpressionStatements
      (ExpressionStatements
        (FunctionCall
          (Identifier)
          { (Identifier) -> (Identifier) }))
      { +(ExpressionStatements (Identifier))+ })))