redundant Fully-Observed Traces: Theoretical Foundations and Complexity Analysis