SelenScript AST 2

                                            ┌─────────────────┐
                                            │ statement group │
                                            └────────┬────────┘
                   ┌─────────────────────────────────┴─────────────────────────────────┐
                 first                                                               second
             ┌─────┴──────┐                                                   ┌────────┴────────┐
             │ assignment │                                                   │ statement group │
             └─────┬──────┘                                                   └────────┬────────┘
         ┌─────────┴──────────┐                  ┌─────────────────────────────────────┴─────────────────────────────────────┐
     left-hand            right-hand           first                                                                       second
  ┌──────┴───────┐  ┌─────────┴─────────┐  ┌─────┴──────┐                                                                 ┌──┴───┐
  │ variable "a" │  │ integer literal 1 │  │ assignment │                                                                 │ call │
  └──────────────┘  └───────────────────┘  └─────┬──────┘                                                                 └──┬───┘
                                        ┌────────┴────────┐                                                          ┌───────┴────────┐
                                    left-hand         right-hand                                                  function        arguments
                                 ┌──────┴───────┐  ┌──────┴──────┐                                          ┌────────┴─────────┐  ┌───┴───┐
                                 │ variable "b" │  │ conditional │                                          │ variable "print" │  │ tuple │
                                 └──────────────┘  └──────┬──────┘                                          └──────────────────┘  └───┬───┘
                 ┌───────────────────────────────┬────────┴─────────────────────────────────────────┐                                 │
             condition                          true                                              false                             first
            ┌────┴─────┐  ┌──────────────────────┴───────────────────────┐  ┌───────────────────────┴───────────────────────┐  ┌──────┴───────┐
            │ equality │  │ string literal "Variable "a" is equal to 1." │  │ string literal "Variable "a" is not equal 1." │  │ variable "b" │
            └────┬─────┘  └──────────────────────────────────────────────┘  └───────────────────────────────────────────────┘  └──────────────┘
       ┌─────────┴──────────┐
   left-hand            right-hand
┌──────┴───────┐  ┌─────────┴─────────┐
│ variable "a" │  │ integer literal 1 │
└──────────────┘  └───────────────────┘