Using the = sign with variables in Set Analysis