I was trying to make sense of the imperative part, and the documentation (http://retina.inf.ufsc.br/picat_guide) says:

> In order to handle assignments, Picat creates new variables at compile time. In the above example, at compile time, Picat creates a new variable, say X1, to hold the value of X after the assignment X:=X+1.