Added tests for None type return of +ve assumption for atan