A tableaux based tool for propositional and MLS-like languages