Side Effect and Evaluation Order

var a := "Evaluated as an argument";

var c := class Value {

var dynamic y;

var m := method [z] {print z}};

var env := class Value { var x := new c; };

env . ( (print "Evaluate x in env\n"; x). (print "Evaluate m in x\n"; m) [ (print "Evaluate a in the defined environment.\n"; a) ] )