* demos/simple_refactoring.ml: last CE
* h_program-lang/parse_info.ml: misc