Symbol: in_leavegroup