else
./branch_cut.awk -v new_reltag="$new_reltag" -v curr_reltag="$curr_reltag" -v prev_reltag="$prev_reltag" "$file" > "$TEMP"
[[ ! -s "$TEMP" ]] && echo "$file: excluded"
else
./branch_cut.awk -v new_reltag="$new_reltag" -v curr_reltag="$curr_reltag" -v prev_reltag="$prev_reltag" "$file" > "$TEMP"
[[ ! -s "$TEMP" ]] && echo "$file: excluded"