function follow_set( $s ){
		if( ! isset($this->follows[$s]) ){
			$type = $this->is_terminal($s) ? 'terminal' : 'non-terminal';
			trigger_error("No follow set for $type $s", E_USER_WARNING );
			return array();
		}
		return $this->follows[$s];
	}