Fixed test and added one new
Bugfix: Unification on non-wellfounded terms raised exception.
Completed non-context tests and implementation for finite acceptance.