Working on ArrayReal, XReal and Variable