code: @Override
  	public void caseAExplicitOperationDefinition(
  			AExplicitOperationDefinition node) throws AnalysisException
  	{
  		if (!proceed(node))
  		{
  			return;
  		}
  
  		DefinitionInfo defInfo = new DefinitionInfo(node.getParamDefinitions(), af);
  
  		openScope(defInfo, node);
  
  		node.getBody().apply(this);
  
  		endScope(defInfo);
  	}
docs: f (b,mk_(b,b), a) == b;