code: protected void genIrStatus(List<IRStatus<PIR>> statuses, INode node)
  			throws AnalysisException
  	{
  		IRStatus<PIR> status = generator.generateFrom(node);
  
  		if (status != null)
  		{
  			statuses.add(status);
  		}
  	}
docs: This method translates a VDM node into an IR status.
  
  @param statuses
  A list of previously generated IR statuses. The generated IR status will be added to this list.
  @param node
  The VDM node from which we generate an IR status
  @throws AnalysisException
  If something goes wrong during the construction of the IR status.