Allow sdp variables to be symmetric by default. Put trace in its own file.