Update assignment and primitiveValue as defined in thesis.