# The body of the `then` part
	var n_then: nullable AExpr = null is writable