public void add_propagate(lalr_item prop_to){
  _propagate_items.push(prop_to);
  needs_propagation=true;
}

public void add_propagate ( lalr_item prop_to ) { _propagate_items . push ( prop_to ) ; needs_propagation = true ; }
add a new item to the set of items we propagate to .
