Second pass defined

Variables De Bruijn indexes are computed in the ast