Code cleanup.
Test cases for nested CARTA finite acceptance w/o ctxt.