add option for analysis name for assign
ctx.assign: ?name:string -> lval -> exp -> unit