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