Helper functions for quantum correlations generate smaller SDPs
Some irrelevant comments removed
Changes highlighet