Revisiting Semantics of Interactions for Trace Validity Analysis (Fundamental Approaches to Software Engineering, 2020)