add ctx.assign: lval -> exp -> unit
invokes assign for all analyses!