ASTfunctionIDcount and cfgnodes