sequent-like_tableau_system