new refine entry for the atan2 function

- This resolves #8272
- This is linked with the previous PR #8273
do you want to add the following?

```
if ...
    if ask(Q.negative(args[0]), assumptions):
        return -atan(-args[0]/args[1])
    return atan(args[0]/args[1])
```