Syntax definition cshiftstable

Description: Extend the definition of a class to include the shift stability class.

	Ref	Expression
Assertion	cshiftstable	class ( 𝑆 ShiftStable 𝐹 )