Composition invariant precludes other_context in Persistent Composition

Description

Remove Composition Invariant = Is_persistent_validity: is_persistent implies context = Void.

Environment

N/A

Reporter

Sam Heard

Labels

None

Components

Affects versions

Priority

Minor
Configure