set lastVertex correctly when visiting tuple type value
annotate expression edges with meaningful names