trace: ensure unique function / variable names per .stp file