* the point after evaluating the static initializer `"hello, world"`
* the point after the first statement
* the point before the second statement
-* the point before evaluating the function value `print`
-* the point after evaluating the function value `print`
-* the point before evaluating the arguments to `print`
+* the point before evaluating the function value `println`
+* the point after evaluating the function value `println`
+* the point before evaluating the arguments to `println`
* the point before evaluating the symbol `s`
* the point after evaluating the symbol `s`
-* the point after evaluating the arguments to `print`
+* the point after evaluating the arguments to `println`
* the point after the second statement
* the point before the statement
-* the point before evaluating the function value `print`
-* the point after evaluating the function value `print`
-* the point before evaluating the arguments to `print`
+* the point before evaluating the function value `println`
+* the point after evaluating the function value `println`
+* the point before evaluating the arguments to `println`
* the point before evaluating the arguments to `+`
* the point before evaluating the function value `x`
* the point after evaluating the function value `x`
* the point before evaluating the arguments to `y`
* the point after evaluating the arguments to `y`
* the point after evaluating the arguments to `+`
-* the point after evaluating the arguments to `print`
+* the point after evaluating the arguments to `println`
The typestate system reasons over points, rather than statements or