De hecho, la mayoría de técnicas de rebanamiento estático, incluida la propia técnica de Weiser, tampoco incluirían la sentencia codice_1, ya que en la sentencia codice_1, el valor de codice_4 no es afectado por la sentencia en sí.