new refine entry for the atan2 function

- This resolves #8272
- This is linked with the previous PR #8273
Why do you suggest the private \_coeff_isneg but not the could_extract_minus_sign() method of Expr?