deprecate Pragma header

deprecate Pragma header: a task in repo2rlenv-pr-diff (Harbor dataset). Title: deprecate Pragma header