Added MOBAT test suite