kc3-lang/angle/src/tests/restricted_traces.json