Merge "Verify the SELabels used in property_contexts"