Tests for context based finite acceptance.
Fixed test case.