convertSequentConst p = error $ "Not a sequent constant: " ++ show p
convertSequentConst p = error $ "Not a sequent constant: " ++ show p
convertSequentConst p = error $ "Not a sequent constant: " ++ show p