new refine entry for the atan2 function

- This resolves #8272
- This is linked with the previous PR #8273
or perhaps `return -atan(args[0]/-args[1]) + S.Pi`?