public static void initializeLabels(Label[] label)
	{
		
		/*
		 * Iterate through the labels
		 */
		
		int[] statementList={4,7,8,28,13,14,27,24,26,36,38};
		int[] identifierAssignedList={2,5,12,20,25,29};
		int[] identifierInlineList={9,15,21,30,37};
		int nLabels=label.length;
		
		
		for(int i=0;i<nLabels;i++)
		{
			if(inList(i,statementList))
			{
				//these labels will form nodes in the CFG
				label[i]=new Label(Point.STATEMENT,"L"+i);
			}
			else if(inList(i,identifierAssignedList))
			{
				//these labels will have data-flow constraints
				label[i]=new Label(Point.IDENTIFIER_ASSIGNED,"L"+i);
			}
			else if(inList(i,identifierInlineList))
			{
				//these labels will (most probably) be used for assertions (exptected_type)
				label[i]=new Label(Point.IDENTIFIER_INLINE,"L"+i);
			}
			else if(i==39)
			{
				label[i]=new Label(Point.END,"L"+i);
			}
			else if(i==0 || i==1)
			{
				label[i]=new Label(Point.START,"L"+i);
			}
			else
			{
				label[i]=new Label(Point.EXPRESSION,"L"+i);
			}//end if
			
		}//end for
		
	}