Source file test_analyze_nw.ml