Refactor Logics in `try_rewrite_projection`

[LYZJU2019]

Currently there are some duplicate logics in this function. We need to refactor and combine some match branches to make the code concise.