convertSequentConst :: P -> SequentConst
convertSequentConst (P "sequent" []) = SequentConst
convertSequentConst :: P -> SequentConst
convertSequentConst (P "sequent" []) = SequentConst
convertSequentConst (P "sequent" []) = SequentConst