Annotate if a variable is assigned to.