codice_7変数およびcodice_17関数は一致する集合を決め、codice_18とcodice_19は参照しているノード群に作用する。