marpa test case