int x, y. bool b, c.
sigma |- Exp eval Val ____________________________________________ sigma |- X = Exp ===> {(X,Val)} union sigma
Here, union is the usual set union operator. Why is placing union in this inference rule wrong? (Circle only one answer.)