checkSplitter(false); checkSplitter(true);
calculateRemaining();
    public SplitterFusionState (FlatNode node)    {	super(node);		assert node.isSplitter();		checkSplitter(false);	checkSplitter(true);	splitter = (SIRSplitter)node.contents;	necessary = setNecessary();		if (!necessary)	    System.out.println("** Found unnecessary splitter");	bufferVar = new JVariableDefinition[1];	bufferVarInit = new JVariableDefinition[1];		bufferVar[0] = makeBuffer(false);	bufferVarInit[0] = makeBuffer(true);    }