ILOC generation now occurrs in the same traversal as the semantic analysis