Candidates for control-invariants

No candidates exist for control-invariants. Upload one for this or another package?