number -- 3.14159
identifier -- f
'('
identifier -- x
')'
identifier -- f
'('
identifier -- x
'['
number -- 0
']'
')'
identifier -- x
'['
number -- 5
']'
'['
number -- 2
']'
'.'
identifier -- y
'.'
identifier -- x
'.'
identifier -- z
'['
identifier -- g
']'
'.'
identifier -- f
'.'
identifier -- g
'.'
identifier -- w
identifier -- g
'('
identifier -- x
':'
number -- 3
','
identifier -- y
':'
number -- 4
','
identifier -- z
':'
number -- 5
')'
identifier -- g
'('
identifier -- x
':'
identifier -- a
'?'
identifier -- c
':'
number -- 3
','
identifier -- y
':'
identifier -- b
'?'
identifier -- d
'['
number -- 9
']'
':'
number -- 18
','
identifier -- z
':'
number -- 5
')'
identifier -- g
'('
identifier -- a
'?'
identifier -- c
':'
number -- 3
','
identifier -- b
'?'
identifier -- d
'['
number -- 9
']'
':'
number -- 18
','
number -- 5
')'
identifier -- g
'('
identifier -- x
':'
identifier -- a
'?'
identifier -- c
eq_op -- .equal
identifier -- f
':'
number -- 3
','
identifier -- y
':'
identifier -- b
eq_op -- .not_equal
identifier -- g
'?'
identifier -- d
'['
number -- 9
']'
':'
number -- 18
','
identifier -- z
':'
number -- 5
')'
identifier -- f
'('
identifier -- g
'?'
identifier -- d
':'
identifier -- a
or_
number -- 18
')'
identifier -- g
'('
identifier -- x
':'
identifier -- a
'?'
identifier -- c
eq_op -- .equal
identifier -- f
':'
number -- 3
','
identifier -- y
':'
identifier -- b
eq_op -- .not_equal
identifier -- g
'?'
identifier -- d
'['
number -- 9
']'
':'
identifier -- a
or_
number -- 18
')'
identifier -- g
'('
identifier -- x
':'
identifier -- a
'?'
identifier -- c
eq_op -- .equal
identifier -- f
':'
number -- 3
','
identifier -- y
':'
identifier -- b
eq_op -- .not_equal
identifier -- g
'?'
identifier -- d
'['
number -- 9
']'
':'
identifier -- a
or_
number -- 18
','
identifier -- z
':'
number -- 5
and_
identifier -- q
or_
identifier -- r
')'
identifier -- g
'('
identifier -- x
':'
identifier -- a
'?'
identifier -- c
eq_op -- .equal
identifier -- f
':'
number -- 3
','
identifier -- y
':'
identifier -- b
eq_op -- .not_equal
identifier -- g
'?'
identifier -- d
'['
number -- 9
']'
':'
identifier -- a
or_
number -- 18
','
identifier -- z
':'
number -- 5
and_
identifier -- q
or_
identifier -- r
')'
mul_op -- .multiply
number -- 5
'+'
number -- 6
'-'
'+'
number -- 8
'+'
'+'
number -- 10
mul_op -- .divide
number -- 40
mul_op -- .multiply
number -- 3
'+'
identifier -- g
identifier -- a
eq_op -- .equal
identifier -- b
eq_op -- .equal
identifier -- c
eq_op -- .not_equal
identifier -- d
identifier -- g
'('
identifier -- x
':'
identifier -- a
'?'
identifier -- c
eq_op -- .equal
identifier -- f
':'
number -- 3
','
identifier -- y
':'
identifier -- b
eq_op -- .not_equal
identifier -- g
'?'
identifier -- d
'['
number -- 9
']'
':'
identifier -- a
or_
number -- 18
','
identifier -- z
':'
keyword_empty
and_
identifier -- q
or_
identifier -- r
')'
mul_op -- .multiply
number -- 5
'+'
number -- 6
'-'
'+'
number -- 8
'+'
'+'
number -- 10
mul_op -- .divide
number -- 40
mul_op -- .multiply
number -- 3
'+'
identifier -- g
identifier -- a
rel_op -- .less_equal
identifier -- b
rel_op -- .greater_equal
identifier -- c
rel_op -- .less
identifier -- d
rel_op -- .greater
identifier -- f
identifier -- g
'('
identifier -- x
':'
identifier -- a
'?'
identifier -- c
eq_op -- .equal
identifier -- f
':'
number -- 3
','
identifier -- y
':'
identifier -- b
eq_op -- .not_equal
identifier -- g
'?'
identifier -- d
'['
number -- 9
']'
':'
identifier -- a
or_
number -- 18
','
identifier -- z
':'
number -- 5
and_
identifier -- q
or_
identifier -- r
')'
mul_op -- .multiply
number -- 5
'+'
number -- 6
'-'
'+'
number -- 8
'+'
'+'
number -- 10
mul_op -- .divide
identifier -- a
rel_op -- .less_equal
identifier -- b
rel_op -- .greater_equal
identifier -- c
rel_op -- .less
identifier -- d
rel_op -- .greater
identifier -- f
mul_op -- .multiply
number -- 3
'+'
identifier -- g
identifier -- g
'('
identifier -- x
':'
identifier -- a
'?'
identifier -- c
eq_op -- .equal
identifier -- f
':'
number -- 3
','
identifier -- y
':'
identifier -- b
eq_op -- .not_equal
identifier -- g
'?'
identifier -- d
'['
number -- 9
']'
':'
identifier -- a
or_
number -- 18
','
identifier -- z
':'
number -- 5
mul_op -- .modulus
number -- 4
mul_op -- .multiply
number -- 7
mul_op -- .divide
number -- 8
and_
identifier -- q
or_
identifier -- r
')'
mul_op -- .multiply
number -- 5
'+'
number -- 6
'-'
'+'
'!'
'-'
number -- 8
'+'
'-'
'-'
'!'
'+'
'-'
'-'
number -- 10
mul_op -- .divide
identifier -- a
rel_op -- .less_equal
identifier -- b
rel_op -- .greater_equal
identifier -- c
rel_op -- .less
identifier -- d
rel_op -- .greater
identifier -- f
mul_op -- .multiply
number -- 3
'+'
identifier -- g
'+'
'!'
'-'
number -- 8
'+'
'-'
'-'
'!'
'+'
'-'
'-'
number -- 10
identifier -- g
'('
identifier -- x
':'
identifier -- a
'?'
identifier -- c
eq_op -- .equal
identifier -- f
':'
number -- 3
','
identifier -- x
':'
keyword_empty
','
identifier -- t
':'
'@'
identifier -- name_of_t
','
identifier -- y
':'
identifier -- b
eq_op -- .not_equal
identifier -- g
'?'
identifier -- d
'['
number -- 9
']'
':'
identifier -- a
or_
number -- 18
','
identifier -- z
':'
number -- 5
mul_op -- .modulus
number -- 4
mul_op -- .multiply
number -- 7
mul_op -- .divide
number -- 8
and_
identifier -- q
or_
identifier -- r
')'
mul_op -- .multiply
number -- 5
'+'
number -- 6
'-'
'+'
'!'
'-'
number -- 8
'+'
'-'
'-'
'!'
'+'
'-'
'-'
number -- 10
mul_op -- .divide
identifier -- a
rel_op -- .less_equal
identifier -- b
rel_op -- .greater_equal
identifier -- c
rel_op -- .less
identifier -- d
rel_op -- .greater
identifier -- f
mul_op -- .multiply
number -- 3
'+'
'@'
identifier -- g
identifier -- g
'('
identifier -- x
':'
identifier -- a
'?'
identifier -- c
eq_op -- .equal
identifier -- f
':'
number -- 3
','
identifier -- z
':'
keyword_empty
','
identifier -- y
':'
quoted_string -- "name_of_t"
quoted_string -- " is 'foo'"
','
identifier -- w
':'
'['
number -- 3
','
'@'
identifier -- some
','
number -- 5.6
','
number -- 5
','
'{'
identifier -- a
':'
number -- 1
','
identifier -- b
':'
'['
number -- 2
','
number -- 3
']'
'}'
']'
','
identifier -- v
':'
keyword_true_false -- 1
'?'
keyword_true_false -- 0
':'
keyword_empty
')'
quoted_string -- "name_of_t"
quoted_string -- " is 'foo'"
quoted_string -- 'or maybe '
quoted_string -- ' it was '
quoted_string -- '"bar"'
keyword_true_false -- 1
'@'
keyword_true_false -- 1
keyword_true_false -- 0
'@'
keyword_true_false -- 0
keyword_empty
'@'
keyword_empty
keyword -- input
'@'
keyword -- input
keyword -- output
'@'
keyword -- output
keyword -- interface
'@'
keyword -- interface
keyword -- logic
'@'
keyword -- logic
keyword -- constant
'@'
keyword -- constant
keyword -- invariant
'@'
keyword -- invariant
keyword -- sheet
'@'
keyword -- sheet
keyword -- unlink
'@'
keyword -- unlink
keyword -- when
'@'
keyword -- when
keyword -- relate
'@'
keyword -- relate
'['
']'
'{'
'}'
number -- 5
identifier -- e
'-'
number -- 6
identifier -- a
'?'
identifier -- c
eq_op -- .equal
identifier -- a
'?'
'?'
