void record(ASTNode node, ASTNode origin) { if (!identical(node, origin)) { _origins[node] = origin; } }