code: @Override
  	public LexNameSet caseAClassInvariantDefinition(AClassInvariantDefinition node, FreeVarInfo info)
  		throws AnalysisException
  	{
  		return node.getExpression().apply(this, info);
  	}
docs: *********************** Definitions **************************