Fix bug in finding desired resolution
Fix desired sequent resolution
Fix desired sequent resolution

Now works perfectly on non-MRR cases.
Add support for desired sequent in MRR resolution

Solution 'B2' is now fully implemented, though it might not hurt to 
test it more.