[ Task ] procedure

var x := 1.
 {
 	(x == 1) yes: { Pen write: ['x']. }, abort.
 	Pen write: ['y'].
 } procedure.

 {
 	(x == 1) yes: { Pen write: ['x']. }, abort.
 	Pen write: ['y'].
 } * 1.