updating the encoding of the symbolic location