Syntax definition cshiftstable

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

	Ref	Expression
Assertion	cshiftstable	class ( S ShiftStable F )