The status of ASIS

My example (from variable occurrence to declaration) was wrong. See item 3 in Jean-Pierre Rosen’s message The status of ASIS - #18 by rosen.