let
ns_help =
" Do not simplify the IF file (complete trace)"