Fixed TestSEQLMain