[coq] API to handle Require Ast specifically

[coq] API to handle Require Ast specifically #2005