Fix identifiers of the unit tests for the standard `atan/1` function