(*
	To illusrate the default luciole GUI
*)

node basic(
	x : bool;
	y : bool;
	z : int;
	t : int;
   u : real;
) returns (
	bout1 : bool;
	bout2 : bool;
	iout1 : int;
	iout2 : int;
	rout : real;
);
let
	bout1 = x or y ;
	bout2 = false -> pre y;
	iout1 = (z + t) / 2;
	iout2 = 0 -> pre iout2 + 1;
	rout = 2.0 * u;
tel

