{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"//!"}]}
//! Constructor splitting looks at the constructors in the first column of the matrix and constructs
//!
//! such a sensible set of constructors. Formally, we want to find a smallest disjoint set of