* demos/analyze_chain.ml: new demo
prelude