data;
set VARMAJOR := x1;
set VARMINOR :=;
set VARFREE :=;
set CONSMAJOR :=;
set CONSMINOR :=;
set CONSEQUAL := u1;

param c := x1 4;
param b := u1 6;
param a : x1 := u1 2;