Fixed issues with Multiseet and completed test with meet monoid solver