var fallThroughState; 
if (tree.statements.length === 0)
  fallThoughState = startState;
else
  fallThroughState = this.allocateState();