remove reify_var
doctest for variables context manager