Restriction_Spaces-Examples.RS_Trace_Model_CSP