More preliminary untested Contract=>SG mapping: add group_policy_context
methods