add find-function-push-tag