There is a single manual instrumentation in dsDiracPerQuanta(), which is also not wrapped in `WMC_TOOL_SKIP` ``` if ( t_quanta_o > sv[nsv >> 1] ) { dsIndex = nsv - dsIndex; /*single op*/ ADD( 1 ); } ``` Should this be removed?