Adding propositional logic tableaux support