Added positive assumption for asin and atan for new assumptions
This commit adds positive assumption for new assumptions module in the AskPositiveHandler.
Respective tests have also been added.