generated coq ast with or without run-time check flags