an XFAIL test generating the undesirable condition should be added with a note to remove this code here, otherwise this code is unlikely to be removed, e.g.

```
@XFAIL
def foo():
    # if this passes, lines numbered ####-#### (at the time of this commit) should be removed -- or whatever
    i, r = foo_to_get_circular_atan()
    assert not (i.has(atan2) and r.has(atan2))
```