Complete exercise 4

Suppose there are three variables X, Y, and Z with these types: X: integer that is divisible by 3 Y: integer that is divisible by 12 Z: integer For each of the following assignments, knowing nothing about the values of the variables except their types, answer whether a language system can tell before running the program whether the assignment is safe? Why or why not? x := Y X := X Y : = Y + Z := X X := Z X ; : = X + X : = X +