indent and add fake prompts from coq