StateInvariantViewKindProvides literals that define which symbols are used to display state invariants on a lifeline.