	public String defaultSInvariantType(SInvariantType node,
			PrettyPrinterEnv question) throws AnalysisException
	{
		ILexNameToken name = null;
		switch(node.kindSInvariantType())
		{
			case ANamedInvariantType.kindSInvariantType:
				name = ((ANamedInvariantType)node).getName();
				break;
			case ARecordInvariantType.kindSInvariantType:
				name = ((ARecordInvariantType)node).getName();
				break;
		}
		if(name !=null)
		{
			if(name.getModule()!=null && !name.getModule().equals(question.getClassName()))
			{
				return name.module+"`"+name.getFullName();
			}
			return name.getFullName();
		}
		return "unresolved";
	}

	public String defaultSInvariantType(SInvariantType node,
			PrettyPrinterEnv question) throws AnalysisException
	{
		ILexNameToken name = null;
		switch(node.kindSInvariantType())
		{
			case ANamedInvariantType.kindSInvariantType:
				name = ((ANamedInvariantType)node).getName();
				break;
			case ARecordInvariantType.kindSInvariantType:
				name = ((ARecordInvariantType)node).getName();
				break;
		}
		if(name !=null)
		{
			if(name.getModule()!=null && !name.getModule().equals(question.getClassName()))
			{
				return name.getModule()+"`"+name.getFullName();
			}
			return name.getFullName();
		}
		return "unresolved";
	}
