regenerated the expected coq ast by Jago