code: public boolean isLocal(AIdentifierStateDesignator id, IRInfo info)
  	{
  		PDefinition idDef = info.getIdStateDesignatorDefs().get(id);
  
  		if (idDef == null)
  		{
  			log.error("Could not find definition for identifier state designator ");
  			return false;
  		} else
  		{
  			return idDef instanceof AAssignmentDefinition;
  		}
  	}
docs: Based on the definition table computed by {@link IRGenerator#computeDefTable(List)} this method determines
  whether a identifier state designator is local or not.
  
  @param id
  The identifier state designator
  @param info
  The IR info
  @return True if <code>id</code> is local - false otherwise