* lang_c/analyze/test_analyze_c.ml: document limitations