REQUIRE "atoms.a4l";

MODEL stop;
	x,y IS_A solver_var;
	expr1: y =  5 * x + 5;
METHODS
METHOD on_load;
	FIX x;
	x := 2;
	STOP;
	x := 1;
END on_load;
END stop;