Added two non-recursive test cases for CARTA's finite acceptance check.