public static boolean isSeq1(Object subject)
	{
		if (subject instanceof VDMSeq)
		{
			VDMSeq seq = (VDMSeq) subject;
			return !seq.isEmpty();
		} else
		{
			return false;
		}
	}
public static boolean isSeq1 ( Object subject ) { if ( subject instanceof VDMSeq ) { VDMSeq seq = ( VDMSeq ) subject ; return ! seq . isEmpty ( ) ; } else { return false ; } }
/* @ helper @