Added test folder for LTL-FO+ monitor