eventb_to_txt
