fix a bug for Coq ast generation for recursive procedures