Add positive handler for acot in new assumptions
Add tests for acot in both new and old assumptions
Mark a test XFAIL which will be implemented in assumptions in future